s83/user.js
1
0
Fork 0
mirror of https://github.com/arkenfox/user.js.git synced 2025-05-07 17:33:45 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

I'm actually more of a tabs guy

Browse source
This commit is contained in:
claustromaniac 2018-04-23 12:54:26 +00:00 • committed by GitHub
parent 3090b6fdd2
commit 22a8ebefdb
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 64 additions and 66 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
prefsCleaner.sh
View file

@ -27,8 +27,7 @@ fQuit() {
fFF_check() {
# there are many ways to see if firefox is running or not, some more reliable than others
# this isn't elegant and might not be future-proof but should at least be compatible with any environment
while [ -e webappsstore.sqlite-shm ]
do
while [ -e webappsstore.sqlite-shm ]; do
echo -e "\nThis Firefox profile seems to be in use. Close Firefox and try again.\n"
read -p "Press any key to continue."
done
@ -67,8 +66,7 @@ echo -e "\nThis script should be run from your Firefox profile directory.\n"
echo "It will remove any entries from prefs.js that also exist in user.js."
echo "This will allow inactive preferences to be reset to their default values."
echo -e "\nThis Firefox profile shouldn't be in use during the process.\n"
select option in Start Help Exit;
do
select option in Start Help Exit; do
case $option in
Start)
if [ ! -e user.js ]; then