shell/install.sh: Add support for doas as an alternative to sudo#5820

Merged

kit-ty-kate merged 1 commit intoocaml:masterfrom kit-ty-kate:install-script-doas

Feb 5, 2024

+15-3

Commits on Feb 2, 2024

shell/install.sh: Add support for doas as an alternative to sudo
kit-ty-kate
committed