From 1b2b7c3eb939724696894f31ff27db97b0cac84c Mon Sep 17 00:00:00 2001 From: Andreas Widen Date: Sat, 25 Nov 2023 17:21:37 +0100 Subject: Initial commit. Signed-off-by: Andreas Widen --- static/base/highlight/languages/dockerfile.min.js | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 static/base/highlight/languages/dockerfile.min.js (limited to 'static/base/highlight/languages/dockerfile.min.js') diff --git a/static/base/highlight/languages/dockerfile.min.js b/static/base/highlight/languages/dockerfile.min.js new file mode 100644 index 0000000..62ca9e6 --- /dev/null +++ b/static/base/highlight/languages/dockerfile.min.js @@ -0,0 +1,8 @@ +/*! `dockerfile` grammar compiled for Highlight.js 11.3.1 */ +(()=>{var e=(()=>{"use strict";return e=>({name:"Dockerfile",aliases:["docker"], +case_insensitive:!0, +keywords:["from","maintainer","expose","env","arg","user","onbuild","stopsignal"], +contains:[e.HASH_COMMENT_MODE,e.APOS_STRING_MODE,e.QUOTE_STRING_MODE,e.NUMBER_MODE,{ +beginKeywords:"run cmd entrypoint volume add copy workdir label healthcheck shell", +starts:{end:/[^\\]$/,subLanguage:"bash"}}],illegal:"