Script to become another user.

[profile.git] / opt / bin / become

diff --git a/opt/bin/become b/opt/bin/become
new file mode 100755 (executable)
index 0000000..abe1b85
--- /dev/null
+++ b/opt/bin/become
@@ -0,0 +1,13 @@
+#!/bin/bash
+
+user="$1"
+if [ -z "$user" ]; then
+  echo >&2 "Usage: become <user>"
+  exit 1
+fi
+
+BECOME="$HOME/.become"
+profile="$BECOME/$user"
+[ -f "$profile" ] || profile="$BECOME/all"
+
+exec sudo -H -u "$user" env BECOME_HOME="$HOME" /bin/bash --rcfile "$profile"