From 03d827e2fbc409ef97829f25b8eeca5204f81a3c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?John=20Ankarstr=C3=B6m?= Date: Mon, 12 Jul 2021 13:24:49 +0200 Subject: Re-organize files --- with/with-git | 5 +++++ with/with-pager | 2 ++ with/with-shell | 3 +++ with/with-shell-on-error | 2 ++ 4 files changed, 12 insertions(+) create mode 100755 with/with-git create mode 100755 with/with-pager create mode 100755 with/with-shell create mode 100755 with/with-shell-on-error (limited to 'with') diff --git a/with/with-git b/with/with-git new file mode 100755 index 0000000..8952a82 --- /dev/null +++ b/with/with-git @@ -0,0 +1,5 @@ +#!/bin/sh +[ x"$1" = x"-s" ] && { s=$1; shift; } || s= +"$@" +[ -z "$s" ] || git status +exec repl "${GIT:-git}" diff --git a/with/with-pager b/with/with-pager new file mode 100755 index 0000000..10f8717 --- /dev/null +++ b/with/with-pager @@ -0,0 +1,2 @@ +#!/bin/sh +"$@" | ${PAGER:-less} diff --git a/with/with-shell b/with/with-shell new file mode 100755 index 0000000..364d2ac --- /dev/null +++ b/with/with-shell @@ -0,0 +1,3 @@ +#!/bin/sh +"$@" +exec "${SHELL:-sh}" diff --git a/with/with-shell-on-error b/with/with-shell-on-error new file mode 100755 index 0000000..d29a1d6 --- /dev/null +++ b/with/with-shell-on-error @@ -0,0 +1,2 @@ +#!/bin/sh +"$@" || exec "${SHELL:-sh}" -- cgit v1.2.3