2024-02-28 11:00:42 -06:00
<!DOCTYPE html>
< html >
2024-03-02 13:25:06 -06:00
< head >
< meta charset = "utf8" >
< / head >
2024-02-28 11:00:42 -06:00
< body >
2024-03-02 13:25:06 -06:00
< section >
< h3 > Shell commands< / h3 >
< p > Add shell commands, to be executed with a page’ s URL as its argument. In a command, $URL will be replaced with the target page’ s URL.< / p >
< table id = "commandTable" >
< tr >
< th > Name< / th >
< th > Shell command< / th >
< / tr >
< / table >
< button style = "width: 5em;" id = "save-cmd" > Apply< / button >
< / section >
< section >
< h3 > URL/Page rules< / h3 >
< p > Associate the above commands with URLs, based on regex rules. When a URL is tied to a command, a button will appear in context-menus and the address bar to run said command.< / p >
< table id = "regexTable" >
< tr >
< th > URL regex< / th >
< th > Shell command< / th >
< / tr >
< / table >
< button style = "width: 5em;" id = "save-regex" > Apply< / button >
< / section >
2024-02-28 11:00:42 -06:00
< script src = "options.js" > < / script >
< / body >
< / html >