2017-07-10 16:31:58 +02:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
|
|
dir=$(cd -P -- "$(dirname -- "$0")" && pwd -P)
|
2017-07-10 17:05:32 +02:00
|
|
|
source "$dir/win_shared_install.sh"
|
|
|
|
|
|
|
|
|
|
echo
|
|
|
|
|
echo "******************************************************************************"
|
|
|
|
|
echo "Installation completed!"
|
|
|
|
|
echo "You need to open a new batch command prompt for all the utils to work properly"
|
|
|
|
|
echo "******************************************************************************"
|
