diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2023-03-04 10:13:48 +0100 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2023-03-04 10:13:50 +0100 |
| commit | 774750c2f73c87a9b35964b0882fec01fe714455 (patch) | |
| tree | 83085836a71e05d92f28fd04092d1f85fc68c896 /fix_permissions.sh | |
| parent | fix_permissions.sh: fix (diff) | |
| download | linux-home-774750c2f73c87a9b35964b0882fec01fe714455.tar.gz linux-home-774750c2f73c87a9b35964b0882fec01fe714455.zip | |
fix_permissions.sh -> update.sh
Also, run links-update in addition with links-chmod.
Diffstat (limited to 'fix_permissions.sh')
| -rwxr-xr-x | fix_permissions.sh | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/fix_permissions.sh b/fix_permissions.sh deleted file mode 100755 index 8506337..0000000 --- a/fix_permissions.sh +++ /dev/null @@ -1,18 +0,0 @@ -#!/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. - -set -o errexit -o nounset -o pipefail -shopt -s inherit_errexit lastpipe - -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 |