s83/user.js
1
0
Fork 0
mirror of https://github.com/arkenfox/user.js.git synced 2025-04-29 21:43:36 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

updater.sh: minor adjustments + remove non POSIX utility 'readlink'

Browse source
This commit is contained in:
fluorescent_haze 2022-06-01 20:29:37 +00:00
parent 1777f5a13f
commit bb0acf1c76
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
updater.sh
View file

@ -35,11 +35,11 @@ read_yn() {
usage() { usage() {
cat << EOF cat << EOF
Usage: updater.sh [options] [PROFILE] usage: updater.sh [options] [<profile>]
Update the user.js file and append custom configuration. Update the user.js file and append custom configuration.
Options: options:
-e Activate ESR preferences -e Activate ESR preferences
-f Don't prompt for confirmation -f Don't prompt for confirmation
-h Show this help message -h Show this help message
@ -91,7 +91,7 @@ if [ "$1" ]; then
if [ -d "$1" ]; then if [ -d "$1" ]; then
dir="$1" dir="$1"
else else
die "'$1' isn't a valid directory" die "'$1': no such directory"
fi fi
fi fi
@ -99,7 +99,7 @@ fi
pmt_yn 'Update user.js and append custom configuration from user-overrides.js?' \ pmt_yn 'Update user.js and append custom configuration from user-overrides.js?' \
|| exit 0 || exit 0
[ "$dir" ] || dir="$(readlink -f "$0" | sed -E 's/\/[^\/]*$//')" [ "$dir" ] || dir="$(echo "$0" | sed -E 's/\/[^\/]*$//')"
cd "$dir" || die "Couldn't change directory to '$dir', aborting." cd "$dir" || die "Couldn't change directory to '$dir', aborting."
# Assume that a valid firefox profile directory has a prefs.js file # Assume that a valid firefox profile directory has a prefs.js file