Searched refs:toolcmd (Results 1 – 1 of 1) sorted by relevance
291 toolcmd="$0 $tool"296 toolcmd="$0"410 echo "$msgprefix:Hint: run \`$toolcmd -h' or \`man shtool' for details" 1>&2417 echo "$msgprefix:Hint: run \`$toolcmd -h' or \`man shtool' for details" 1>&2
Completed in 12 milliseconds
