summaryrefslogtreecommitdiff
path: root/.zsh/functions (unfollow)
Commit message (Expand)AuthorFilesLines
2022-11-15[zsh] Port cci to new stg versionRené 'Necoro' Neumann1-5/+2
2020-02-17Update cci: stgit now uses python3René 'Necoro' Neumann1-1/+1
2018-06-10[zsh] Remove obsolete isabelle functionsRené 'Necoro' Neumann2-112/+0
2018-06-10Enhance cci scriptRené 'Necoro' Neumann1-15/+12
2014-09-27[zsh] Remove old VCS stuffRené 'Necoro' Neumann2-109/+0
2014-04-14Remove our 'pass' wrapperRené 'Necoro' Neumann1-96/+0
2013-11-21IE/IJ: Session logicRené 'Necoro' Neumann1-2/+15
2013-09-15Make cci explicitly use python2René 'Necoro' Neumann1-1/+1
2012-11-07Small changes to our pass wrapperRené 'Necoro' Neumann1-2/+11
2012-11-07Add 'pass' wrapper for special entriesRené 'Necoro' Neumann1-0/+87
2012-10-27Launch isabelle in background (+ some comments and small cleanup)René Neumann1-5/+22
2012-10-12Added some logic to automatically fix terminfoRené Neumann1-0/+98
2012-10-01Use long option-names -- adds documentation in itselfRené Neumann1-5/+5
2012-05-29Ignore -m in cciRené Neumann1-0/+3
2012-04-13fixRené 'Necoro' Neumann1-1/+1
2012-04-10fixes for zsh < 4.3.9René Neumann1-4/+9
2012-02-23Cleanup using TRAPEXITRené Neumann1-3/+6
2012-02-23-mRené Neumann1-14/+17
2012-02-23Unify cci outputRené Neumann1-10/+15
2012-02-23Make the stg-version into a variable ... no need to run python multiple timesRené Neumann1-6/+5
2012-02-23Port cci to new stgit versionRené Neumann1-3/+15
2011-11-21Added support for jedit.René Neumann2-4/+11
2011-08-12Enhance IE scriptRené Neumann1-6/+7
2011-08-10Moved some functions to their own filesRené Neumann2-0/+120
2011-08-10More advanced IE scriptRené Neumann1-0/+74
2011-05-03Rename 'gentoo' prompt to 'necoro'René 'Necoro' Neumann2-33/+33
2011-05-03Gentoo zsh promptRené 'Necoro' Neumann1-0/+33
2009-11-07Better hg VCS prompt support.René 'Necoro' Neumann1-0/+76