summarylogtreecommitdiffstats
path: root/languagetool-ngrams-he.install
diff options
context:
space:
mode:
authorJaja2019-03-19 01:05:03 +0100
committerJaja2019-03-19 01:05:03 +0100
commit40ee53f89d24cd888f34e80ab80702067ac26d66 (patch)
tree3b5dd3ba512470980d2aa10cdb81a4d66ac40dad /languagetool-ngrams-he.install
parent117f3b5c0fa759caa3297d793c67e80f5a92de27 (diff)
downloadaur-40ee53f89d24cd888f34e80ab80702067ac26d66.tar.gz
config file script; bsdtar unpack
Diffstat (limited to 'languagetool-ngrams-he.install')
-rw-r--r--languagetool-ngrams-he.install56
1 files changed, 53 insertions, 3 deletions
diff --git a/languagetool-ngrams-he.install b/languagetool-ngrams-he.install
index 1840d39d81d..a01b606e208 100644
--- a/languagetool-ngrams-he.install
+++ b/languagetool-ngrams-he.install
@@ -1,5 +1,55 @@
post_install() {
- echo ''
- echo 'Do not forget to add "ngramDir=/usr/share/ngrams" in ~/.languagetool[-ooo].cfg or use LanguageTool GUI config to point to "/usr/share/ngrams"!'
- echo ''
+ # This is a simple, but verbosely written script to change or add a "key=value" line
+ # in two configuration files in every users home directory and the skeleton directory.
+
+ _CONFIGLT=".languagetool.cfg"
+ _CONFIGOO=".languagetool-ooo.cfg"
+ _KEY="ngramDir"
+ _VALUE="/usr/share/ngrams"
+
+ _update_file() {
+ if (grep -Fxq "$_KEY=$_VALUE" "$1/$2" 2> /dev/null); then
+ # Skip if "key=value" is in place, or
+ printf " \e[32mUp-to-date\e[0m\t| $1/$2\n"
+ else
+ if (grep -Fq "$_KEY=" "$1/$2" 2> /dev/null); then
+ # update to match the desired value if the key exists, or
+ (sed 's|^'$_KEY'=.*|'$_KEY'='$_VALUE'|' -i "$1/$2")
+ printf " \e[33mValue updated\e[0m\t| $1/$2\n"
+ else
+ # append the "key=value" to the, possibly just created, configuration file.
+ (printf "$_KEY=$_VALUE\n" >> "$1/$2")
+ printf " \e[95mLine added\e[0m\t| $1/$2\n"
+ fi
+ fi
+ # Fix the ownership of the configuration file.
+ (chown --reference="$1" "$1/$2")
+ }
+
+ printf "\e[1mUpdating configuration files to match \"$_KEY=$_VALUE\"\e[0m.\n"
+ # For a user's home directory under /home,
+ for USERDIR in $(getent passwd | cut -d: -f6 | grep /home); do
+ # that actually exists,
+ if [ -d "$USERDIR" ]; then
+ # update the 1st configuration file and
+ _update_file "$USERDIR" "$_CONFIGLT"
+ if [ -e "$USERDIR/$_CONFIGOO" ]; then
+ # update the 2nd configuration file if it exists, or
+ _update_file "$USERDIR" "$_CONFIGOO"
+ else
+ # create symbolic link to the 1st if it doesn't.
+ (ln -s "$_CONFIGLT" "$USERDIR/$_CONFIGOO")
+ printf " \e[95mLink created\e[0m\t| $USERDIR/$_CONFIGOO\n"
+ fi
+ fi
+ done
+
+ # For any later created user, provide skeleton files
+ _update_file "/etc/skel" "$_CONFIGLT"
+ if [ -e "/etc/skel/$_CONFIGOO" ]; then
+ _update_file "/etc/skel" "$_CONFIGOO"
+ else
+ (ln -s "$_CONFIGLT" "/etc/skel/$_CONFIGOO")
+ printf " \e[95mLink created\e[0m\t| /etc/skel/$_CONFIGOO\n"
+ fi
}