2 Commits

Author	SHA1	Message	Date
Kenneth Myhra	b4a0fee03d	Meta: Add exit_if_running_as_root() to shell_include.sh ... This adds the method exit_if_running_as_root() which checks if the script is executed under root, and if that's the case exits the script.	2023-04-25 01:53:42 -06:00
Nico Weber	c6f81b5b83	Meta: Tweak shell_include.sh ... * `chmod -x` as it's for sourcing, not for executing * Remove run line, for the same reason * Rename it from .shell_include.sh to shell_include.sh, since e.g. `rg` doesn't search in hidden files by default No behavior change.	2022-12-20 09:23:32 -05:00