diff options
Diffstat (limited to 'bash/init.sh')
| -rw-r--r-- | bash/init.sh | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/bash/init.sh b/bash/init.sh index 981f20c..5c70918 100644 --- a/bash/init.sh +++ b/bash/init.sh @@ -14,22 +14,22 @@ locked_init() { mr inject > /dev/null printf "(\n" > /tmp/mr-projectile - sed -E 's/\/home\/andreh/~/' /tmp/mr-repos | awk '{print "\""$1"\""}' >> /tmp/mr-projectile + sed -E 's/\/home\/andreh/~/' /tmp/mr-repos | awk '{print "\""$1"/""\""}' >> /tmp/mr-projectile printf ")" >> /tmp/mr-projectile cp /tmp/mr-projectile ~/.emacs.d/.cache/projectile-bookmarks.eld popd > /dev/null } - -touch /tmp/mr-lock -exec 221>/tmp/mr-lock -flock -n -e 221 && { - locked_init -} || { - printf "" # noop: couldn't acquire lock -} export -f locked_init +# touch /tmp/mr-lock +# exec 221>/tmp/mr-lock +# flock -n -e 221 && { +# locked_init +# } || { +# printf "" # noop: couldn't acquire lock +# } + # Tests pushd $DOTFILES > /dev/null |