diff options
Diffstat (limited to '')
| -rwxr-xr-x | fix_permissions.sh | 11 |
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 |