diff options
author | Lucas de Castro Borges <lucas@gnuabordo.com.br> | 2024-04-22 00:35:56 -0300 |
---|---|---|
committer | Lucas de Castro Borges <lucas@gnuabordo.com.br> | 2024-04-22 00:35:56 -0300 |
commit | 754b5d1114f096778e483f8a6f3a5dc333225e26 (patch) | |
tree | 30911ec9da4cfd2f5572c27f7288fcbfa4cd212d /tools | |
parent | 35c2857da302ab8b3c308052f2cd1674fb4141a6 (diff) | |
parent | 5f01c706267c595de92406a32e7f31ef5056c2d0 (diff) |
Update upstream source from tag 'upstream/2.0.3pre'
Update to upstream version '2.0.3pre'
with Debian dir 6683980bf6b5c02f6847fd56765833301f75f4f3
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/rm_hardinfo.sh | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/tools/rm_hardinfo.sh b/tools/rm_hardinfo.sh new file mode 100755 index 00000000..7b4480a8 --- /dev/null +++ b/tools/rm_hardinfo.sh @@ -0,0 +1,29 @@ +#!/bin/bash + +# when you want to remove the hardinfo* mess from a make install + +if [[ $EUID -ne 0 ]]; then + echo "This script must be run as root." + exit 1 +fi + +remove_hardinfo() { + BASEDER="$1" + echo "Removing hardinfo* from $BASEDER ..." + rm -rf $BASEDER/share/hardinfo* + rm -rf $BASEDER/lib/hardinfo* + rm -f $BASEDER/share/locale/*/LC_MESSAGES/hardinfo*.mo + rm -f $BASEDER/bin/hardinfo* + rm -f $BASEDER/share/applications/hardinfo*.desktop + rm -f $BASEDER/share/doc/hardinfo* + rm -f $BASEDER/share/man/man1/hardinfo*.1.gz + rm -f $BASEDER/share/pixmaps/hardinfo*.xpm + rm -f $BASEDER/share/menu/hardinfo* + #locate -e hardinfo | grep "$BASEDER" +} + +# add some other base install path here +remove_hardinfo "/usr/local" + +echo "Removing hardinfo* settings..." +rm -rf ~/.config/hardinfo* |