summaryrefslogtreecommitdiff
path: root/.zsh/functions (follow)
Commit message (Collapse)AuthorAgeFilesLines
* [zsh] Port cci to new stg versionRené 'Necoro' Neumann2022-11-151-5/+2
|
* Update cci: stgit now uses python3René 'Necoro' Neumann2020-02-171-1/+1
|
* [zsh] Remove obsolete isabelle functionsRené 'Necoro' Neumann2018-06-102-112/+0
|
* Enhance cci scriptRené 'Necoro' Neumann2018-06-101-15/+12
|
* [zsh] Remove old VCS stuffRené 'Necoro' Neumann2014-09-272-109/+0
|
* Remove our 'pass' wrapperRené 'Necoro' Neumann2014-04-141-96/+0
|
* IE/IJ: Session logicRené 'Necoro' Neumann2013-11-211-2/+15
|
* Make cci explicitly use python2René 'Necoro' Neumann2013-09-151-1/+1
|
* Small changes to our pass wrapperRené 'Necoro' Neumann2012-11-071-2/+11
|
* Add 'pass' wrapper for special entriesRené 'Necoro' Neumann2012-11-071-0/+87
|
* Launch isabelle in background (+ some comments and small cleanup)René Neumann2012-10-271-5/+22
|
* Added some logic to automatically fix terminfoRené Neumann2012-10-121-0/+98
|
* Use long option-names -- adds documentation in itselfRené Neumann2012-10-011-5/+5
|
* Ignore -m in cciRené Neumann2012-05-291-0/+3
|
* fixRené 'Necoro' Neumann2012-04-131-1/+1
|
* fixes for zsh < 4.3.9René Neumann2012-04-101-4/+9
|
* Cleanup using TRAPEXITRené Neumann2012-02-231-3/+6
|
* -mRené Neumann2012-02-231-14/+17
|
* Unify cci outputRené Neumann2012-02-231-10/+15
|
* Make the stg-version into a variable ... no need to run python multiple timesRené Neumann2012-02-231-6/+5
|
* Port cci to new stgit versionRené Neumann2012-02-231-3/+15
|
* Added support for jedit.René Neumann2011-11-212-4/+11
|
* Enhance IE scriptRené Neumann2011-08-121-6/+7
|
* Moved some functions to their own filesRené Neumann2011-08-102-0/+120
|
* More advanced IE scriptRené Neumann2011-08-101-0/+74
|
* Rename 'gentoo' prompt to 'necoro'René 'Necoro' Neumann2011-05-032-33/+33
|
* Gentoo zsh promptRené 'Necoro' Neumann2011-05-031-0/+33
|
* Better hg VCS prompt support.René 'Necoro' Neumann2009-11-071-0/+76
|
* Initial check-in of filesRené 'Necoro' Neumann2009-10-071-0/+33