diff options
author | EuAndreh <eu@euandre.org> | 2023-09-20 07:11:39 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2023-09-20 07:11:39 -0300 |
commit | 58c4b78732ea13aad5f1da843e11a533feca3ba2 (patch) | |
tree | cdafcccd66a696a3be37a2ad7142a97cae2d9da2 | |
parent | bin/{uuid,gen-password}: Use /dev/urandom over /dev/random (diff) | |
download | dotfiles-58c4b78732ea13aad5f1da843e11a533feca3ba2.tar.gz dotfiles-58c4b78732ea13aad5f1da843e11a533feca3ba2.tar.xz |
etc/sh/rc: Add rr() function
-rw-r--r-- | etc/sh/rc | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -391,6 +391,13 @@ r() { . ~/.profile } +rr() { + r + if [ -e .envrc ]; then + direnv allow + fi +} + _edit_without_executing() { F="$(mkstemp)" printf '%s\n' "$READLINE_LINE" > "$F" |