Git-Mirrors/user.js
1
0
Fork 0
mirror of https://github.com/arkenfox/user.js.git synced 2025-04-21 08:06:47 -04:00
Code Issues Packages Projects Releases Wiki Activity

Update updater.sh

Browse Source
This commit is contained in:
Tyler Page 2019-07-06 16:25:49 +00:00 committed by GitHub
parent b8466f24ae
commit 9d32b46694
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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

@ -143,11 +143,11 @@ open_file () { #expects one argument: file_path
}
readIniFile () { # expects one argument: absolute path of profiles.ini
inifile="$1"
declare -r inifile="$1"
tfile="$(mktemp)"
declare -r inifile
declare -r tfile
declare -r $tfile
if [ "$(grep -c '^\[Profile' "$inifile")" == "1" ]; then ### only 1 profile found
grep '^\[Profile' -A 4 "$inifile" | grep -v '^\[Profile' > "$tfile"
else