diff --git a/pkgs/sane-scripts/src/sane-sudo-redirect b/pkgs/sane-scripts/src/sane-sudo-redirect new file mode 100755 index 00000000..3d207934 --- /dev/null +++ b/pkgs/sane-scripts/src/sane-sudo-redirect @@ -0,0 +1,16 @@ +#!/usr/bin/env bash + +# redirects to $1, when writing to $1 requires sudo permissions. +# i.e. convert a failing command: +# +# ``` +# $ sudo do_thing > /into/file +# ``` +# +# to +# +# ``` +# $ sudo do_thing | sane-sudo-redirect /into/file +# ``` + +exec sudo tee $@ > /dev/null