dot

packages and services management
Log | Files | Refs | README

commit fc48d26598387e82af744fb983657ce693ba1e78
parent ee9de7a4624fb65fbf084cb0371ff97331251352
Author: Josuah Demangeon <josuah.demangeon@gandi.net>
Date:   Wed, 24 May 2017 16:04:04 +0200

awk is buffered ?  O_o ?

Diffstat:
M.profile | 4++--
Mbin/ii-filter | 2++
Mbin/io | 2+-
3 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/.profile b/.profile @@ -65,8 +65,8 @@ export NAME EMAIL TZ # default commands -EDITOR='mg' -VISUAL='mg' +EDITOR='rlwrap ex' +VISUAL='rlwrap ex' PAGER='less' MANPAGER='manpager' DVTM_PAGER='less -R' diff --git a/bin/ii-filter b/bin/ii-filter @@ -48,4 +48,6 @@ date != $1 { printf("%" offset "s%s\n", "", row); } + + system("true || false"); }' diff --git a/bin/io b/bin/io @@ -78,7 +78,7 @@ END { printf '# %s\n' url cat "$HOME"/var/url/* "$ETC/url" - cut -d ' ' -f 1 "$HOME/.ssh/known_hosts" | sed -r 's|^|ssh://root@|' + cut -d ' ' -f 1 "$HOME/.ssh/known_hosts" | sed -r 's|^|ssh://|' } | iomenu -p io -s -h | cut -c 3-` command="io-${selection%% *}"