This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# Put expressions that hit more files first. | |
/home/chroot/.* | |
/home/[^/]+/Workspaces?/.*/target/.* | |
/home/[^/]+/\.m2/repository/.* | |
/home/[^/]+/\.ivy2/(?:cache|local|limiter)/.* | |
/home/[^/]+/.*(?:~|\.(?:log|tmp|bak|lock)) | |
/home/[^/]+/Virt/Machines/.* | |
# Put expressions that hits specific applications later. | |
/home/[^/]+/\.(?:adobe|cache|ccache|dbus|dropbox|dropbox-dist|fontconfig|gconfd|gstreamer[^/]*|gvfs)/.* |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
# Git-aware bash command prompt | |
# | |
# Put this script at $HOME/.bash_prompt and add the following to your .bashrc: | |
# | |
# if [ "$PS1" ]; then | |
# if [ -f "$HOME/.bash_prompt" ]; then | |
# PROMPT_COMMAND="$HOME/.bash_prompt" | |
# if [ "$EUID" == "0" ]; then | |
# PS1="\n# " |
NewerOlder