diff options
| author | EuAndreh <eu@euandre.org> | 2025-01-19 10:44:16 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2025-01-19 10:44:16 -0300 |
| commit | 1f82fc334b19dec31b253653a5b4016fb843c71b (patch) | |
| tree | c24c573e414ed276dffb245fa1a5d4e23724396b /etc | |
| parent | bin/vcs: Support file rename in git_ps1() (diff) | |
| download | dotfiles-1f82fc334b19dec31b253653a5b4016fb843c71b.tar.gz dotfiles-1f82fc334b19dec31b253653a5b4016fb843c71b.tar.xz | |
etc/sh/rc: Parameterize timeout of "vcs ps1"
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/sh/rc | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -339,8 +339,9 @@ makeflags_status() { fi } +VCS_PS1_TIMEOUT=0.5 vcs_status() { - timeout 0.5 vcs ps1 || if [ $? = 124 ]; then + timeout "$VCS_PS1_TIMEOUT" vcs ps1 || if [ $? = 124 ]; then color -c red '❌' fi } |