mostly fixes

[distro-setup] / brc

diff --git a/brc b/brc
index bd76bb4c8265890c517bdff5f501556ed0d76bcb..ebbe38eab55b7d3e3debc8dc6e1d23b8cc279d71 100644 (file)
--- a/brc
+++ b/brc
@@ -1378,6 +1378,10 @@ rmstrips() {
   ssh fencepost head -n 300 /gd/gnuorg/EventAndTravelInfo/rms-current-trips.txt | less
 }
 
+sudo () {
+  command sudo "$@" || return $?
+  DID_SUDO=true
+}
 s() {
   # background
   # I use a function because otherwise we cant use in a script,
@@ -1900,6 +1904,12 @@ psnetns() {
       if [[ $x ]]; then echo "$x"; else echo $l; fi;
     done
 }
+nonet() {
+  if ! s ip netns list | grep -Fx nonet &>/dev/null; then
+    s ip netns add nonet
+  fi
+  sudo -E env /sbin/ip netns exec nonet sudo -E -u iank /bin/bash
+}
 
 m() { printf "%s\n" "$*";  "$@"; }