| #!/bin/bash |
| |
| # When bash is invoked as an interactive login shell, or as a non-interac- |
| # tive shell with the --login option, it first reads and executes commands |
| # from the file /etc/profile, if that file exists. After reading that |
| # file, it looks for ~/.bash_profile, ~/.bash_login, and ~/.profile, in |
| # that order, and reads and executes commands from the first one that |
| # exists and is readable. |
| |
| if [ -f /etc/profile ]; |
| then |
| source /etc/profile |
| fi |
| |
| if [ -f ~/.bash_profile ]; |
| then |
| source ~/.bash_profile |
| else |
| if [ -f ~/.bash_login ] |
| then |
| source ~/.bash_login |
| else |
| if [ -f ~/.profile ] |
| then |
| source ~/.profile |
| fi |
| fi |
| fi |
| |
| function generate_command_executed_sequence() { |
| printf '\e\7' |
| } |
| |
| export -f generate_command_executed_sequence |
| |
| |
| #generate escape sequence after command is executed to notify jediterm emulator |
| trap "generate_command_executed_sequence" DEBUG |