* windows adjust docker cmd

2023-01-29 12:23:38 +03:00
parent 42d0209290
commit 0bbc4eedd7
7 changed files with 85 additions and 3 deletions
--- a/bash/_docker-cmd.sh
+++ b/bash/_docker-cmd.sh
@ -0,0 +1,15 @@
+#!/bin/bash
+# Grab OS type
+if [[ "$(uname)" == "Darwin" ]]; then
+    OS_TYPE="OSX"
+else
+    OS_TYPE=$(expr substr $(uname -s) 1 5)
+fi
+
+DOCKER_CMD=docker
+
+if [[ $OS_TYPE == "MINGW" ]]; then
+  DOCKER_CMD="winpty docker"
+fi
+
+export DOCKER_CMD