2025-08-16 11:52:28 +01:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
|
|
SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
|
|
|
|
|
VAGRANT_DIR="$SCRIPT_DIR/../vagrant/dev/ubuntu/"
|
|
|
|
|
|
|
|
|
|
echo "Script directory: $SCRIPT_DIR"
|
|
|
|
|
echo "Vagrant directory: $VAGRANT_DIR"
|
|
|
|
|
cd "$VAGRANT_DIR" || {
|
|
|
|
|
echo "Failed to change directory to Vagrant directory: $VAGRANT_DIR"
|
|
|
|
|
exit 1
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
vagrant up workstation
|
2025-08-23 15:05:26 +01:00
|
|
|
|
|
|
|
|
|