diff frontends/src/tools/xmltools.py @ 818:c328bcc4db71

jp: zsh completion, first draft (added in a new /misc directory): - completion automatically parse jp --help for the subcommand being completed to find optional and mandatory arguments - profiles are asked to jp himself (through jp profile list) - complete jp and jp_dev
author Goffi <goffi@goffi.org>
date Mon, 10 Feb 2014 13:53:46 +0100
parents 1fe00f0c9a91
children 069ad98b360d
line wrap: on
line diff