user.js

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit ded7c01a08c296cf27a1b7c39d1abc66d7f6e046
parent 996881aef184246a011ac29382e91d634cda7b65
Author: xfzv <78810647+xfzv@users.noreply.github.com>
Date:   Sat, 30 Jul 2022 12:22:32 +0000

Back up prefs.js to `prefsjs_backups` directory (#1514)


Diffstat:
MprefsCleaner.sh | 3++-
1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/prefsCleaner.sh b/prefsCleaner.sh @@ -69,7 +69,8 @@ fStart() { fi fFF_check - bakfile="prefs.js.backup.$(date +"%Y-%m-%d_%H%M")" + mkdir -p prefsjs_backups + bakfile="prefsjs_backups/prefs.js.backup.$(date +"%Y-%m-%d_%H%M")" mv prefs.js "${bakfile}" || fQuit 1 "Operation aborted.\nReason: Could not create backup file $bakfile" echo -e "\nprefs.js backed up: $bakfile" echo "Cleaning prefs.js..."