Re: [basex-talk] Fwd: Bash command