plugin version 0.1 Copyright (c) 1999-2000 by Karl J. Runge plugin: Extract "(embed|bgsound)" plugin references from urls and play them with an external viewer(s). Usage: plugin Options: -h, -help This help. -l Only list the embedded urls, do not view them. -u Use as the base URL location when extracting "embed" from local html files. -H Force url interpretation to be HTML for even when url does not end in ".html" or ".htm" -d Debugging output (twice for even more) -s Use X selection -loop loop with prompting -warp try to warp the mouse to our window. Notes: Be sure to protect ? and & characters from the shell. The occurence of ? or & in the url implies -H (i.e. cgi script) If no url is given, you are prompted to paste in one. If the url is not HTML e.g. ".gif" then the command "av -w '%URL'" is used to view directly the url w/o any plugin interpretation. Embed is triggered by matching: <(embed|bgsound) ... = ... > These embed tags are recognized: src= song=