Add history aliases

2019-03-04 21:59:55 -05:00 · 2019-03-04 21:59:55 -05:00 · ae9d83809d
commit ae9d83809d
parent 8c20315d97
1 changed files with 5 additions and 0 deletions
--- a/system/.alias
+++ b/system/.alias
@ -28,3 +28,8 @@ alias vpn_lyrical='cd /home/ahosking/lyrical/vpn &&sudo openvpn --config gw-udp-

 alias roles_fetch='r10k puppetfile install --puppetfile Puppetfile --moduledir ../../roles/'
 alias roles_pull='for role in `ls ../../roles`; do echo "########" $role; echo `git -C ../../roles/$role pull origin master`; done'
+
+## History
+alias phgrep='cat ~/.persistent_history|grep --color'
+alias hgrep='history|grep --color'
+alias trimph='tail -20000 ~/.persistent_history | tee ~/.persistent_history'