adbrucker
/
logicalhacking-zsh
Watch 1
Star 0
Fork 0
Code Issues 0 Pull Requests 0 Releases 0 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.
40 Commits
1 Branch
Branch: master
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from 'master'
${ noResults }
Achim D. Brucker 21c6a4f439 Fixed markdown. 1 year ago
plugins/isabelle Added SPDIX license identifier. 1 year ago
themes Added SPDIX license identifier. 1 year ago
LICENSE Initial commit. 2 years ago
README.md Fixed markdown. 1 year ago
logicalhacking.zsh Added SPDIX license identifier. 1 year 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.