@ -0,0 +1,8 @@
#!/bin/env sh
# hookup /tools/ to be usable no matter where
# usage: `source hookup`
set +e
# TODO: prevent double hooking
export PATH=$PATH:$(realpath $(dirname -- "${BASH_SOURCE[0]}")/tools/)
The note is not visible to the blocked user.