200426.1 · 36c995dad7a8bd843a3e6d5fdfc8c1deffe770ee
initial commit
This brings over mostly everything from my old $HOME-only repository. I remove some unused scripts. This commit does not include work-related stuff, which will be encrypted and added in a subsequent commit.
This also does not include my SSH configuration. There's nothing particularly sensitive in it, but it seems prudent to encrypt that too.
reading declarations
Changes to .config/highlight/. All files
.config/highlight/langDefs/sml.lang
@@ -0,0 +1,31 @@+-- Language definition generated by lang2to3++Description="Standard ML"++Keywords={+ { Id=1,+ List={"abstraction", "abstype", "and", "andalso", "as", "before", "case", "datatype", "else", "end", "eqtype", "exception", "do", "fn", "fun", "functor", "handle", "if", "in", "include", "infix", "infixr", "let", "local", "nonfix", "of", "op", "open", "orelse", "overload", "raise", "rec", "sharing", "sig", "signature", "struct", "structure", "then", "type", "val", "where", "while", "with", "withtype", "o", "true", "false", "", "Bool", "String", "Int", "Real", "Word", "Char", "StringCvt", "Word8", "List", "ListPair", "Vector", "TextIO", "BinIO", "div", "mod"},+ },+ { Id=2,+ List={"bool", "string", "int", "real", "word"},+ },+ { Id=4,+ Regex=[[(\w+)\s*\(]],+ },+}++Strings={+ Delimiter=[["]],+}++Comments = {+ { Block = true, Nested = false,+ Delimiter = { [[\(\*]], [[\*\)]] }+ }+}++IgnoreCase=false++Operators=[[\(|\)|\[|\]|\{|\}|\,|\;|\:|\&|\<|\>|\!|\=|\/|\*|\%|\+|\-|\'|\.]]++--FIXME no default escchar param: regex(\\\d{3}|\\x\p{XDigit}{2}|\\[ntvbrfa\\\?'"])
.config/highlight/themes/bclear.theme
@@ -0,0 +1,22 @@+-- Theme generated by vim2theme++Description = "vim bclear"++Default = { Colour="#323232" }+Canvas = { Colour="#ffffff" }+Number = { Colour="#1094a0" }+Escape = { Colour="#dc6816" }+String = { Colour="#1094a0" }+BlockComment = { Colour="#969696" }+StringPreProc = String+LineComment = BlockComment+Operator = Default+LineNum = BlockComment+PreProcessor = { Colour="#69c73a" }++Keywords = {+ { Colour="#3b6ac8" },+ { Colour="#a00050" },+ { Colour="#00a150" },+ { Colour="#c73a69" },+}