mostly fixes

[distro-setup] / brc

diff --git a/brc b/brc
index ffb796408ede66fb682d3b463c6f27b7b616261a..ebbe38eab55b7d3e3debc8dc6e1d23b8cc279d71 100644 (file)
--- a/brc
+++ b/brc
@@ -1904,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" "$*";  "$@"; }