adbrucker
/
logicalhacking-zsh
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
Collection of zsh plugins and themes for members of the logicalhacking team.
35 Commits 1 Branch 0 Tags 52 KiB
Shell 100%
Go to file
Achim D. Brucker a035b059a7 Add remote branch information to git prompt. 2017-07-25 20:56:19 +01:00
plugins/isabelle Bug fix: support for absolute path names in traversing ROOTS info. 2017-07-16 12:02:28 +01:00
themes Add remote branch information to git prompt. 2017-07-25 20:56:19 +01:00
LICENSE Initial commit. 2017-07-01 06:28:38 +01:00
README.md Added description of Isabelle plugin. 2017-07-18 03:56:22 +01:00
logicalhacking.zsh Include Isabelle plugin in fpath. 2017-07-17 22:12:59 +01:00

README.md

logicalhacking-zsh

Varous add-ons for zsh that are useful for members of the Software Assurance & Security Research Team:

  • logicalhacking (theme): An agnoster inspired prompt for zsh that, e.g., shows the current Isabelle environment.
  • Isabelle (plugin): A plug-in for the interactive theorem prover Isabelle (command completion and a few helper functions).

License

If not otherwise stated, all sub-projects are licensed under a MIT-style license.