From 532dcde6800f59cc027f5d6f22565a889567630c Mon Sep 17 00:00:00 2001
From: Egor Tensin <Egor.Tensin@gmail.com>
Date: Sat, 4 Mar 2023 10:10:45 +0100
Subject: fix_permissions.sh: fix

---
 fix_permissions.sh | 11 ++++++-----
 1 file 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
-- 
cgit v1.2.3