cmixshow - browser for C-Mix/II feedback output

cmixshow [-b|-u|-l|-r|-w|-s] filename.ann

cmixshow can display the binding-time annotated programs output by cmixc (1)c for user feedback in various formats, as selected by the options.

Display residual parts of the program in bold Display residual parts of the program underlined Display residual parts of the program in bold and spectime parts underlined. This works well for terminals that differentiate between bold and underline. The opposite of -l; primarily useful with terminals that use reverse video to emulate underlining. Output HTML that uses bold red text for residual parts of the program and italic green text for spectime parts. Makes cmixshow install itself as a local HTTP server and start a WWW browser for interactive inspection of the annotations. This is the only way to inspect the extra annotations enabled by the -s or -S options to cmixc (1)c . The BROWSER environment variable selects which command to use to start the browser. If the variable is not set, cmixshow simply outputs an URL and waits for the user to start a browser. Each time the browser reloads the top frame, cmixshow checks if the .ann file has changed and reloads it if appropriate. In this way it is possible to view the new annotations each time cmix is rerun just by clicking the "Reload" button in the browser. If no option is given, -s is assumed if the BROWSER variable is set, -b otherwise.

With the -s option, the output goes via a network connection to the browser.

In any other mode, if the standard output is a terminal, the pretty-printed output is piped to a pager. Otherwise it is sent to the standard output. Except with -w, bold and underlined text is created by backspace overstrike which is understood by most pagers.

C-Mix/II was developed at the University of Copenhagen.

The development team can be reached at cmix@diku.dk.

Probably numerous. Please file as detailed bug reports as you can to cmix-bugreport@diku.dk.

Used to select a browser to start with the -s option Used to select a pager to start if neither -s nor -h is given and the output is a terminal

cmix(1).