aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/fix_permissions.sh
diff options
context:
space:
mode:
Diffstat (limited to 'fix_permissions.sh')
-rwxr-xr-xfix_permissions.sh11
1 files changed, 6 insertions, 5 deletions
diff --git a/fix_permissions.sh b/fix_permissions.sh
index d8e6476..8506337 100755
--- a/fix_permissions.sh
+++ b/fix_permissions.sh
@@ -1,11 +1,9 @@
#!/usr/bin/env bash
# Some utilities (for example, ssh) fix too relaxed file permissions
-# automatically.
-# Others (GHCi is the reason this script exists) just spit out a warning and
-# ignore such files.
-# This script simply removes the write permission for everybody except myself
-# for every file in this repository.
+# automatically. Others (GHCi is the reason this script exists) just spit out a
+# warning and ignore such files. This script simply removes the write
+# permission for everybody except myself for every file in this repository.
set -o errexit -o nounset -o pipefail
shopt -s inherit_errexit lastpipe
@@ -14,4 +12,7 @@ script_dir="$( dirname -- "${BASH_SOURCE[0]}" )"
script_dir="$( cd -- "$script_dir" && pwd )"
readonly script_dir
+cd -- "$script_dir"
+export PATH="$script_dir/../config-links:$PATH"
+
links-chmod go-w