Skip to content

Instantly share code, notes, and snippets.

@nhoffman
Created January 29, 2025 18:00
Show Gist options
  • Save nhoffman/daa50d360f7026623edd0c91ba4ca721 to your computer and use it in GitHub Desktop.
Save nhoffman/daa50d360f7026623edd0c91ba4ca721 to your computer and use it in GitHub Desktop.
Set up deep profile
#!/usr/bin/env bash
set -v
# install profile for this host, this user
powershell -File setup.ps1
cat > $HOME/.bashrc <<EOF
echo executing "\$HOME/.bashrc"
if [[ -f $(pwd)/bashrc ]]; then
source $(pwd)/bashrc
else
echo "$(pwd)/bashrc not found"
fi
EOF
cat $HOME/.bashrc
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment