2023-08-01から1ヶ月間の記事一覧
git-prompt.shをダウンロード wget https://raw.github.com/git/git/master/contrib/completion/git-prompt.sh .bashrcを編集する PS1を設定している箇所を変更。最後の\$の前に$(__git_ps1 " (%s)")を入れる PS1='${debian_chroot:+($debian_chroot)}[\033[…
git-prompt.shをダウンロード wget https://raw.github.com/git/git/master/contrib/completion/git-prompt.sh .bashrcを編集する PS1を設定している箇所を変更。最後の\$の前に$(__git_ps1 " (%s)")を入れる PS1='${debian_chroot:+($debian_chroot)}[\033[…