4 files changed, 12 insertions, 0 deletions
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}"