mac_install

diff --git a/etc/profile.d/mac.sh b/etc/profile.d/mac.sh
index 927dd7a6a967beb607715cef204bba12748743e2..d51658ebd0e2e6b506dcbc76bfbce05e0e9fcb60 100644 (file)
--- a/etc/profile.d/mac.sh
+++ b/etc/profile.d/mac.sh
@@ -103,7 +103,7 @@ mac_install() {
 
   # Aliases
   case "$prg" in
-    docker) prg="https://download.docker.com/mac/stable/Docker.dmg" ;;
+    docker) [ "$(sysctl -n kern.hv_support 2>/dev/null)" = "0" ] && echo "Docker not compatible. \`See sysctl -n kern.hv_support\`" && return; prg="https://download.docker.com/mac/stable/Docker.dmg" ;;
     xcode) prg="http://adcdownload.apple.com/Developer_Tools/Command_Line_Tools_macOS_10.12_for_Xcode_8.1/Command_Line_Tools_macOS_10.12_for_Xcode_8.1.dmg" ;;
     virtualbox) prg=$(getexp_url 'https?://download.virtualbox.org/virtualbox/[^"\s]+dmg' https://www.virtualbox.org/wiki/Downloads) ;;
     macport) prg=$(getexp_url 'https?://distfiles.macports.org/MacPorts/MacPorts[^"\s]+pkg' https://www.macports.org/install.php) ;;