diff options
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* |