12 Oct
2014
12 Oct
'14
10:02 p.m.
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