diff options
Diffstat (limited to '%HOME%')
| -rw-r--r-- | %HOME%/.bash_utils/os.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/%HOME%/.bash_utils/os.sh b/%HOME%/.bash_utils/os.sh index 785420b..42b7307 100644 --- a/%HOME%/.bash_utils/os.sh +++ b/%HOME%/.bash_utils/os.sh @@ -34,6 +34,10 @@ os_is_ubuntu() { test "$_os" == 'Ubuntu' } +os_is_linux_mint() { + test "$_os" == 'Linux Mint' +} + os_is_arch() { test "$_os" == 'Arch Linux' } @@ -97,7 +101,7 @@ pkg_list() ( if os_is_cygwin; then pkg_list_cygwin - elif os_is_ubuntu; then + elif os_is_ubuntu || os_is_linux_mint; then pkg_list_ubuntu elif os_is_arch; then pkg_list_arch |