github.com/dnephin/dobi@v0.15.0/examples/project-setup/setup.sh (about) 1 #!/bin/bash 2 3 set -eu 4 5 if [ -f .env -a -n "$(cat .env)" ]; then 6 exit 7 fi 8 9 echo "Enter your settings" 10 echo 11 12 random="$RANDOM$RANDOM$RANDOM" 13 read -p "Unique id for the project (default: $random): " unique_id 14 unique_id=${unique_id:-$random} 15 16 read -p "Username (default: $HOST_USER): " username 17 username=${username:-$HOST_USER} 18 19 read -p "Listen port (default: 8080): " port 20 port=${port:-8080} 21 22 cat <<EOF > .env 23 unique_id=$unique_id 24 username=$username 25 port=$port 26 EOF