diff options
| author | David Luevano Alvarado <david@luevano.xyz> | 2023-05-01 09:35:25 -0600 |
|---|---|---|
| committer | David Luevano Alvarado <david@luevano.xyz> | 2023-05-01 09:35:25 -0600 |
| commit | f797bb14f7413df2abac6326c6df769004e50aa1 (patch) | |
| tree | 20850afbf9d45adbbcc6fc3a7aecedfa34db830c /pyssg.xyz/live/static/hl/languages/jboss-cli.min.js | |
| parent | 127130ab909dac8886f45ec856f1d1bce3c7bcc0 (diff) | |
small bugfix, add toc settings, update example site and delete unnecessary static assets
Diffstat (limited to 'pyssg.xyz/live/static/hl/languages/jboss-cli.min.js')
| -rw-r--r-- | pyssg.xyz/live/static/hl/languages/jboss-cli.min.js | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/pyssg.xyz/live/static/hl/languages/jboss-cli.min.js b/pyssg.xyz/live/static/hl/languages/jboss-cli.min.js deleted file mode 100644 index d8e5637..0000000 --- a/pyssg.xyz/live/static/hl/languages/jboss-cli.min.js +++ /dev/null @@ -1,9 +0,0 @@ -hljs.registerLanguage("jboss-cli",(()=>{"use strict";return e=>({ -name:"JBoss CLI",aliases:["wildfly-cli"],keywords:{$pattern:"[a-z-]+", -keyword:"alias batch cd clear command connect connection-factory connection-info data-source deploy deployment-info deployment-overlay echo echo-dmr help history if jdbc-driver-info jms-queue|20 jms-topic|20 ls patch pwd quit read-attribute read-operation reload rollout-plan run-batch set shutdown try unalias undeploy unset version xa-data-source", -literal:"true false"},contains:[e.HASH_COMMENT_MODE,e.QUOTE_STRING_MODE,{ -className:"params",begin:/--[\w\-=\/]+/},{className:"function", -begin:/:[\w\-.]+/,relevance:0},{className:"string", -begin:/\B(([\/.])[\w\-.\/=]+)+/},{className:"params",begin:/\(/,end:/\)/, -contains:[{begin:/[\w-]+ *=/,returnBegin:!0,relevance:0,contains:[{ -className:"attr",begin:/[\w-]+/}]}],relevance:0}]})})());
\ No newline at end of file |