zsh plugin
Sunday, 12 October 2014 · 1 message
DK
Dirk Kirsten12 Oct 2014 22:02 #
Hello,
if any of you uses the excellent zshell, you might be interested in this small plugin for BaseX for the zsh: https://github.com/dirkk/zsh-basex.
Aliases might also be useful for every other shell user, because they basically shorten all basex commands (e.g. bx is defined as an alias for basex).
Cheers,
Dirk
--
Dirk Kirsten, BaseX GmbH, http://basex.org
|-- Firmensitz: Blarerstrasse 56, 78462 Konstanz
|-- Registergericht Freiburg, HRB: 708285, Geschäftsführer:
| Dr. Christian Grün, Dr. Alexander Holupirek, Michael Seiferle `-- Phone: 0049 7531 28 28 676, Fax: 0049 7531 20 05 22
Written for BaseX 7.9. BaseX may have changed since: please check the current documentation.
⚡Generated with XQuery