Skip to content

Instantly share code, notes, and snippets.

@jaimemrjm

jaimemrjm/wsl_tips.txt

Created February 8, 2024 17:25
Show Gist options
  • Save jaimemrjm/15f4d952db10ce6145063f6dc217325a to your computer and use it in GitHub Desktop.
Save jaimemrjm/15f4d952db10ce6145063f6dc217325a to your computer and use it in GitHub Desktop.
Download ZIP
WSL tips
Raw
wsl_tips.txt
## Configurar .zshrc para que cambie el titulo de la terminal de Windows
DISABLE_AUTO_TITLE="true"
HOSTNAME=$(hostname)
function precmd () {
window_title="\033]0;${PWD##*/}@$HOSTNAME\007"
echo -ne "$window_title"
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment