diff --git a/bin/fasterfirefox b/bin/fasterfirefox deleted file mode 100755 index 38f81ff..0000000 --- a/bin/fasterfirefox +++ /dev/null @@ -1,32 +0,0 @@ -#!/bin/bash - -username=$(whoami) -proc="$(ps aux | grep $username | grep -v $0 | grep firefox | grep -v grep)" -if [ "$proc" != "" ] -then - echo "shutdown firefox first!" - exit 1 -fi - -curdir=$(pwd) -config_dir="$HOME/.mozilla/firefox" - -for dir in $(cat "$config_dir/profiles.ini" | grep Path= | sed -e s/Path=//) -do - cd $config_dir/$dir 2>/dev/null - if [ $? == 0 ] - then - echo "cleaning $dir" - for F in $(find . -type f -name '*.sqlite' -print) - do - echo -e "vacuum $F" - sqlite3 $F "VACUUM;" - done - echo -e "done in $dir" - else - echo -e "error entering directory $dir" - fi -done - -echo "job cleaning"; -cd $curdir