| http://www.w3.org/ns/prov#value | - set the terminal id string (the string returned by inquire) to time . notice the trailing space. next set your prompt to end with an inquire. now every time your prompt is displayed, the terminal automatically types time and a space for you, at which point you type your command. this will not work with all terminals because many have disabled this functionality to prevent this from happening.
|
