| http://www.w3.org/ns/prov#value | - Pipe menus are menus that when used run a terminal program and display the output in the menu, this can be used for a variety of things, such as displaying the time, or the weather in the menu, showing a calendar, a todo list and showing what music you are currently playing.
|
