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.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
44 Commits
1 Branch
0 Tags
121 KiB
 
Branch: master
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'master'
${ noResults }
Achim D. Brucker f56e2a7b9e
Use POSIX-compliant method to find isabelle command. 		12 months ago
plugins/isabelle Added SPDIX license identifier. 5 years ago
themes Use POSIX-compliant method to find isabelle command. 12 months ago
LICENSE Initial commit. 5 years ago
README.md Fixed markdown. 4 years ago
logicalhacking.zsh Added SPDIX license identifier. 5 years ago

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.

SPDX-License-Identifier: MIT

Master Repository

The master git repository for this project is hosted by the Software Assurance & Security Research Team at https://git.logicalhacking.com/adbrucker/logicalhacking-zsh.