File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 2121 # activate venv
2222 source ~/venv/bin/activate
2323
24+ # Include local dev bashrc if it exists
25+ if [ -f ~/.dev_bashrc ]; then
26+ source ~/.dev_bashrc
27+ fi
Original file line number Diff line number Diff line change 9696 echo "User bin directory already exists at $BIN_DIR, skipping creation"
9797 fi
9898
99+
100+ # Create local dev bashrc file if it doesn't exist
101+ DEV_BASHRC="/home/dev/.dev_bashrc"
102+ if [ ! -f "$DEV_BASHRC" ]; then
103+ echo "Creating local dev bashrc file at $DEV_BASHRC"
104+ cat > "$DEV_BASHRC" << 'EOF'
105+ echo "Local dev bashrc loaded - customize /home/dev/.dev_bashrc as needed"
106+ EOF
107+ chmod 644 "$DEV_BASHRC"
108+ else
109+ echo "Local dev bashrc file already exists at $DEV_BASHRC, skipping creation"
110+ fi
111+
99112 echo "Starting SSH service on port $PORT..."
100113 exec /usr/sbin/sshd -D -f /etc/ssh/sshd_config \
101114 -o Port=$PORT \
You can’t perform that action at this time.
0 commit comments