List profiles
dconf dump /org/gnome/terminal/legacy/profiles:/
Determine the terminal profile string for the profile you will need. This is the terminal profile that I will export:
| #!/bin/bash | |
| # Fix emails with bad timestamps in a maildir | |
| # This script reads the date from the email header and set its UNIX timestamp and renames it with the proper date | |
| # e.g. this: | |
| # dec. 05 2017 1512499812.M908995P21566.ip-111-11-11-11,S=16331,W=16746:2,S | |
| # becomes that (the email Date header is "Date: Tue, 22 Oct 2013 10:07:21 +0100"): | |
| # oct. 22 2013 1382432841.M908995P21566.ip-111-11-11-11,S=16331,W=16746:2,S | |
| cd "/var/mail/my@account.org/MyMailDir/cur"; |
| #!/bin/bash | |
| iatest=$(expr index "$-" i) | |
| ####################################################### | |
| # SOURCED ALIAS'S AND SCRIPTS BY zachbrowne.me | |
| ####################################################### | |
| # Source global definitions | |
| if [ -f /etc/bashrc ]; then | |
| . /etc/bashrc |
Inspired by dannyfritz/commit-message-emoji
See also gitmoji.
| Commit type | Emoji |
|---|---|
| Initial commit | 🎉 :tada: |
| Version tag | 🔖 :bookmark: |
| New feature | ✨ :sparkles: |
| Bugfix | 🐛 :bug: |
| # in ~/bin/gitprompt.csh: | |
| setenv GIT_BRANCH_CMD "sh -c 'git branch --no-color 2> /dev/null' | sed -e '/^[^*]/d' -e 's/* \(.*\)/(\1) /'" | |
| set prompt="%m:%~ `$GIT_BRANCH_CMD`%B%#%b " | |
| # and then in ~/.cshrc: | |
| alias precmd "source ~/bin/gitprompt.csh" |