aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/update.sh
blob: 597070fb16d50f9f95235f473acf37deacbcaa00 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
#!/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 2> /dev/null || true
shopt -s lastpipe

script_dir="$( dirname -- "${BASH_SOURCE[0]}" )"
script_dir="$( cd -- "$script_dir" && pwd )"
readonly script_dir

export PATH="$script_dir/../config-links:$PATH"

cd -- "$script_dir"
links-update
links-chmod go-w