diff options
| author | Konstantin Đorđević <vomindoraan@gmail.com> | 2018-12-26 17:01:26 +0100 |
|---|---|---|
| committer | Drashna Jaelre <drashna@live.com> | 2018-12-26 08:01:26 -0800 |
| commit | 0c1256e60ab430402ad5dcd11f2368bb065fa958 (patch) | |
| tree | 5ead22ddf3eabffde5ac7a2fc0b1d06b04e0427e /util/wsl_install.sh | |
| parent | b7d2a9f980be009f5d40950cf649ce1086b821a9 (diff) | |
Read user input properly in linux_install.sh for Gentoo (#4395)
* Change spaces to tabs on two lines
The rest of the file uses tabs
* Read user input in a non-terrible, non-hacky way
* Remove unnecessary tee call
* read -p is not POSIX
* Add missing $ to echo GENTOO_WARNING
* Replace non-POSIX echo -n with printf
* Use cd ... || exit 1 in case git clone fails
* Add missing sudo
Thanks @snortwolf
* Undo replacing tee with >>
Diffstat (limited to 'util/wsl_install.sh')
0 files changed, 0 insertions, 0 deletions