Merge pull request 'updates-from-feynman' (#35) from updates-from-feynman into main

Reviewed-on: #35
This commit is contained in:
Matej Focko 2021-08-29 16:22:36 +02:00
commit 440de9614d
9 changed files with 353 additions and 104 deletions

View file

@ -95,14 +95,12 @@
"sections": [
{
"code": ".zu_pozn_blok {\n font-size: 15px;\n}",
"domains": [
"is.muni.cz"
]
"domains": ["is.muni.cz"]
}
],
"updateDate": 1623427474080,
"_id": "b0042ad2-4f79-4e97-a828-ac4114322826",
"_rev": 1628929300338,
"_rev": 1629192179237,
"id": 6,
"_usw": {}
},
@ -113,67 +111,58 @@
"installDate": 1626353686077,
"sections": [
{
"code": ":root {\n --monospace-font: Iosevka Term;\n}\npre, code, kbd, var, samp, tt {\n font-family: var(--monospace-font) !important;\n }",
"start": 1111,
"code": ":root {\n --monospace-font: Iosevka Term;\n}\npre,\n code,\n kbd,\n var,\n samp,\n tt {\n font-family: var(--monospace-font) !important;\n }",
"start": 1146,
"domains": [
"codewars.com",
"kurzy.kpi.fei.tuke.sk",
"doc.rust-lang.org",
"softwarefactory-project.io",
"stackoverflow.com",
"docs.oracle.com",
"docs.rs",
"pagure.io",
"src.fedoraproject.org",
"docs.oracle.com"
"src.fedoraproject.org"
],
"regexps": [
".*fi\\.muni\\.cz/pb071/.*",
".*fi\\.muni\\.cz/~xfocko/.*"
]
"regexps": [".*fi\\.muni\\.cz/pb071/.*", ".*fi\\.muni\\.cz/~xfocko/.*"]
},
{
"code": ":root {\n --monospace-font: Iosevka Term;\n}\n.CodeMirror,\n .result-type--result,\n .result-type--log .result-type__value {\n font-family: var(--monospace-font) !important;\n }",
"start": 1251,
"domains": [
"codewars.com"
]
"start": 1306,
"domains": ["codewars.com"]
},
{
"code": ":root {\n --monospace-font: Iosevka Term;\n}\n#details_sources .details_file_wrapper pre {\n font-family: var(--monospace-font) !important;\n }",
"start": 1461,
"regexps": [
".*fi\\.muni\\.cz/~kontr/logs/.*"
]
"start": 1516,
"regexps": [".*fi\\.muni\\.cz/~kontr/logs/.*"]
},
{
"code": ":root {\n --monospace-font: Iosevka Term;\n}\ntt, code, pre, .mw-geshi, .t-lc, #wpTextbox1 {\n font-family: var(--monospace-font) !important;\n }",
"start": 1621,
"domains": [
"en.cppreference.com"
]
"code": ":root {\n --monospace-font: Iosevka Term;\n}\ntt,\n code,\n pre,\n .mw-geshi,\n .t-lc,\n #wpTextbox1 {\n font-family: var(--monospace-font) !important;\n }",
"start": 1676,
"domains": ["en.cppreference.com"]
},
{
"code": ":root {\n --monospace-font: Iosevka Term;\n}\n*[ style *= 'monospace' ], pre, code, kbd, var, tt {\n font-family: var(--monospace-font) !important;\n }",
"start": 1778,
"domains": [
"hackerrank.com"
]
"code": ":root {\n --monospace-font: Iosevka Term;\n}\n*[ style *='monospace'],\n pre,\n code,\n kbd,\n var,\n tt {\n font-family: var(--monospace-font) !important;\n }",
"start": 1853,
"domains": ["hackerrank.com"]
},
{
"code": ":root {\n --monospace-font: Iosevka Term;\n}\n._1SMgwU2nM5eONvvV-7N1J- {\n font-family: var(--monospace-font) !important;\n }",
"start": 1945,
"domains": [
"play.rust-lang.org"
]
"start": 2038,
"domains": ["play.rust-lang.org"]
},
{
"code": ":root {\n --monospace-font: Iosevka Term;\n}\n.contentContainer .description dl dd, .contentContainer .details dl dd, .serializedFormContainer dl dd {\n font-family: var(--monospace-font) !important;\n }",
"start": 2083,
"domains": [
"docs.oracle.com"
]
"code": ":root {\n --monospace-font: Iosevka Term;\n}\n.contentContainer .description dl dd,\n .contentContainer .details dl dd,\n .serializedFormContainer dl dd {\n font-family: var(--monospace-font) !important;\n }",
"start": 2176,
"domains": ["docs.oracle.com"]
},
{
"code": ":root {\n --monospace-font: Iosevka Term;\n}\n.d2h-diff-table {\n font-family: var(--monospace-font) !important;\n }",
"start": 2427,
"domains": ["pagure.io", "src.fedoraproject.org"]
}
],
"sourceCode": "/* ==UserStyle==\n@name pre,code,kbd,var,samp\n@namespace git.mfocko.xyz/mfocko/dotfiles\n@version 1.0.0\n@description Replaces default monospace font on majority of websites\n@author mfocko <me@mfocko.xyz>\n@var select monospace-font \"Font\" [\n \"BlexMono Nerd Font\",\n \"CaskaydiaCovePL Nerd Font*\",\n \"FiraCode Nerd Font\",\n \"InputMono Nerd Font\",\n \"InputMonoNarrow Nerd Font\",\n \"InputMonoCondensed Nerd Font\",\n \"InputMonoCompressed Nerd Font\",\n \"Iosevka Term\",\n \"Iosevka Term Extended\",\n \"Iosevka Term Slab\",\n \"Iosevka Term Slab Extended\",\n \"JetBrainsMono Nerd Font\",\n \"MonoLisa Nerd Font\",\n \"RecMonoLinear Nerd Font\",\n \"RobotoMono Nerd Font\",\n \"SFMono Nerd Font\",\n \"VictorMono Nerd Font\"\n]\n==/UserStyle== */\n\n@-moz-document domain(\"codewars.com\"), domain(\"kurzy.kpi.fei.tuke.sk\"), regexp(\".*fi\\\\.muni\\\\.cz/pb071/.*\"), domain(\"doc.rust-lang.org\"), regexp(\".*fi\\\\.muni\\\\.cz/~xfocko/.*\"), domain(\"softwarefactory-project.io\"), domain(\"stackoverflow.com\"), domain(\"pagure.io\"), domain(\"src.fedoraproject.org\"), domain(\"docs.oracle.com\") {\n pre, code, kbd, var, samp, tt {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document domain(\"codewars.com\") {\n .CodeMirror,\n .result-type--result,\n .result-type--log .result-type__value {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document regexp(\".*fi\\\\.muni\\\\.cz/~kontr/logs/.*\") {\n #details_sources .details_file_wrapper pre {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document domain(\"en.cppreference.com\") {\n tt, code, pre, .mw-geshi, .t-lc, #wpTextbox1 {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document domain(\"hackerrank.com\") {\n *[ style *= 'monospace' ], pre, code, kbd, var, tt {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document domain(\"play.rust-lang.org\") {\n ._1SMgwU2nM5eONvvV-7N1J- {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document domain(\"docs.oracle.com\") {\n .contentContainer .description dl dd, .contentContainer .details dl dd, .serializedFormContainer dl dd {\n font-family: var(--monospace-font) !important;\n }\n}",
"sourceCode": "/* ==UserStyle==\n@name pre,code,kbd,var,samp\n@namespace git.mfocko.xyz/mfocko/dotfiles\n@version 1.0.0\n@description Replaces default monospace font on majority of websites\n@author mfocko <me@mfocko.xyz>\n@var select monospace-font \"Font\" [\n \"monospace*\",\n \"BlexMono Nerd Font\",\n \"CaskaydiaCovePL Nerd Font\",\n \"FiraCode Nerd Font\",\n \"InputMono Nerd Font\",\n \"InputMonoNarrow Nerd Font\",\n \"InputMonoCondensed Nerd Font\",\n \"InputMonoCompressed Nerd Font\",\n \"Iosevka Term\",\n \"Iosevka Term Extended\",\n \"Iosevka Term Slab\",\n \"Iosevka Term Slab Extended\",\n \"JetBrainsMono Nerd Font\",\n \"MonoLisa Nerd Font\",\n \"RecMonoLinear Nerd Font\",\n \"RobotoMono Nerd Font\",\n \"SFMono Nerd Font\",\n \"VictorMono Nerd Font\"\n]\n==/UserStyle== */\n@-moz-document domain(\"codewars.com\"),\ndomain(\"kurzy.kpi.fei.tuke.sk\"),\nregexp(\".*fi\\\\.muni\\\\.cz/pb071/.*\"),\ndomain(\"doc.rust-lang.org\"),\nregexp(\".*fi\\\\.muni\\\\.cz/~xfocko/.*\"),\ndomain(\"softwarefactory-project.io\"),\ndomain(\"stackoverflow.com\"),\ndomain(\"docs.oracle.com\"),\ndomain(\"docs.rs\"),\ndomain(\"pagure.io\"),\ndomain(\"src.fedoraproject.org\") {\n pre,\n code,\n kbd,\n var,\n samp,\n tt {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document domain(\"codewars.com\") {\n .CodeMirror,\n .result-type--result,\n .result-type--log .result-type__value {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document regexp(\".*fi\\\\.muni\\\\.cz/~kontr/logs/.*\") {\n #details_sources .details_file_wrapper pre {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document domain(\"en.cppreference.com\") {\n tt,\n code,\n pre,\n .mw-geshi,\n .t-lc,\n #wpTextbox1 {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document domain(\"hackerrank.com\") {\n *[ style *='monospace'],\n pre,\n code,\n kbd,\n var,\n tt {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document domain(\"play.rust-lang.org\") {\n ._1SMgwU2nM5eONvvV-7N1J- {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document domain(\"docs.oracle.com\") {\n .contentContainer .description dl dd,\n .contentContainer .details dl dd,\n .serializedFormContainer dl dd {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document domain(\"pagure.io\"),\ndomain(\"src.fedoraproject.org\") {\n .d2h-diff-table {\n font-family: var(--monospace-font) !important;\n }\n}",
"usercssData": {
"name": "pre,code,kbd,var,samp",
"namespace": "git.mfocko.xyz/mfocko/dotfiles",
@ -186,8 +175,13 @@
"label": "Font",
"name": "monospace-font",
"value": "Iosevka Term",
"default": "CaskaydiaCovePL Nerd Font",
"default": "monospace",
"options": [
{
"name": "monospace",
"label": "monospace",
"value": "monospace"
},
{
"name": "BlexMono Nerd Font",
"label": "BlexMono Nerd Font",
@ -280,12 +274,12 @@
"author": "mfocko <me@mfocko.xyz>",
"description": "Replaces default monospace font on majority of websites",
"name": "pre,code,kbd,var,samp",
"updateDate": 1628965592045,
"updateDate": 1629196055944,
"_id": "dc152c50-d7f1-49c4-ae39-7f641fb6d54d",
"_rev": 1628965592045,
"_rev": 1629298010095,
"id": 12,
"customName": "pre,code,kbd,var,samp",
"originalDigest": "f0f05454bd5fdd169acaad8235dd693ac9ab3e36",
"originalDigest": "9eb2b95e598149e6689b3e02a55b7d5591a28259",
"_usw": {}
},
{
@ -295,14 +289,12 @@
"installDate": 1626692966477,
"sections": [
{
"code": ":root {\n --monospace-font: CaskaydiaCovePL Nerd Font;\n}\n* [style *= \" monospace\"] {\n font-family: var(--monospace-font) !important;\n }\n\n * [style *= \" serif\"] {\n font-family: \"Roboto Slab\" !important;\n }\n\n * [style *= \" sans\"] {\n font-family: \"Roboto\" !important;\n }",
"start": 797,
"domains": [
"notion.so"
]
"code": ":root {\n --monospace-font: CaskaydiaCovePL Nerd Font;\n}\n* [style *=\" monospace\"] {\n font-family: var(--monospace-font) !important;\n }\n\n * [style *=\" serif\"] {\n font-family: \"Roboto Slab\" !important;\n }\n\n * [style *=\" sans\"] {\n font-family: \"Roboto\" !important;\n }",
"start": 813,
"domains": ["notion.so"]
}
],
"sourceCode": "/* ==UserStyle==\n@name notion.so\n@namespace git.mfocko.xyz/mfocko/dotfiles\n@version 1.0.0\n@description Allows switching of the fonts on notion.so\n@author mfocko <me@mfocko.xyz>\n@var select monospace-font \"Font\" [\n \"BlexMono Nerd Font\",\n \"CaskaydiaCovePL Nerd Font*\",\n \"FiraCode Nerd Font\",\n \"InputMono Nerd Font\",\n \"InputMonoNarrow Nerd Font\",\n \"InputMonoCondensed Nerd Font\",\n \"InputMonoCompressed Nerd Font\",\n \"Iosevka Term\",\n \"Iosevka Term Extended\",\n \"Iosevka Term Slab\",\n \"Iosevka Term Slab Extended\",\n \"JetBrainsMono Nerd Font\",\n \"MonoLisa Nerd Font\",\n \"RecMonoLinear Nerd Font\",\n \"RobotoMono Nerd Font\",\n \"SFMono Nerd Font\",\n \"VictorMono Nerd Font\"\n]\n==/UserStyle== */\n\n@-moz-document domain(\"notion.so\") {\n * [style *= \" monospace\"] {\n font-family: var(--monospace-font) !important;\n }\n\n * [style *= \" serif\"] {\n font-family: \"Roboto Slab\" !important;\n }\n\n * [style *= \" sans\"] {\n font-family: \"Roboto\" !important;\n }\n}",
"sourceCode": "/* ==UserStyle==\n@name notion.so\n@namespace git.mfocko.xyz/mfocko/dotfiles\n@version 1.0.0\n@description Allows switching of the fonts on notion.so\n@author mfocko <me@mfocko.xyz>\n@var select monospace-font \"Font\" [\n \"monospace*\",\n \"BlexMono Nerd Font\",\n \"CaskaydiaCovePL Nerd Font\",\n \"FiraCode Nerd Font\",\n \"InputMono Nerd Font\",\n \"InputMonoNarrow Nerd Font\",\n \"InputMonoCondensed Nerd Font\",\n \"InputMonoCompressed Nerd Font\",\n \"Iosevka Term\",\n \"Iosevka Term Extended\",\n \"Iosevka Term Slab\",\n \"Iosevka Term Slab Extended\",\n \"JetBrainsMono Nerd Font\",\n \"MonoLisa Nerd Font\",\n \"RecMonoLinear Nerd Font\",\n \"RobotoMono Nerd Font\",\n \"SFMono Nerd Font\",\n \"VictorMono Nerd Font\"\n]\n==/UserStyle== */\n@-moz-document domain(\"notion.so\") {\n * [style *=\" monospace\"] {\n font-family: var(--monospace-font) !important;\n }\n\n * [style *=\" serif\"] {\n font-family: \"Roboto Slab\" !important;\n }\n\n * [style *=\" sans\"] {\n font-family: \"Roboto\" !important;\n }\n}",
"usercssData": {
"name": "notion.so",
"namespace": "git.mfocko.xyz/mfocko/dotfiles",
@ -315,8 +307,13 @@
"label": "Font",
"name": "monospace-font",
"value": "CaskaydiaCovePL Nerd Font",
"default": "CaskaydiaCovePL Nerd Font",
"default": "monospace",
"options": [
{
"name": "monospace",
"label": "monospace",
"value": "monospace"
},
{
"name": "BlexMono Nerd Font",
"label": "BlexMono Nerd Font",
@ -409,9 +406,9 @@
"author": "mfocko <me@mfocko.xyz>",
"description": "Allows switching of the fonts on notion.so",
"name": "notion.so",
"updateDate": 1628965560896,
"updateDate": 1629190277495,
"_id": "e72a8286-5c06-4827-8bd2-2245db9e3df2",
"_rev": 1628965560896,
"_rev": 1629192179237,
"id": 13,
"customName": "notion.so",
"originalDigest": "cd5872e3217bd21f384d779d668dca9665cc3024",
@ -424,15 +421,12 @@
"installDate": 1626701683202,
"sections": [
{
"code": "* {\n --fonts-monospace: Iosevka Term !important;\n }",
"code": "* {\n --fonts-monospace: FiraCode Nerd Font !important;\n }",
"start": 73,
"domains": [
"git.mfocko.xyz",
"git.gauss.mfocko.xyz"
]
"domains": ["git.mfocko.xyz", "git.gauss.mfocko.xyz"]
}
],
"sourceCode": "/* ==UserStyle==\n@name Gitea\n@namespace git.mfocko.xyz/mfocko/dotfiles\n@version 1.0.0\n@description Style for Gitea that allows removal of diff highlight on pull requests.\n@author mfocko <me@mfocko.xyz>\n@preprocessor stylus\n@var select monospace-font \"Font\" [\n \"BlexMono Nerd Font\",\n \"CaskaydiaCovePL Nerd Font*\",\n \"FiraCode Nerd Font\",\n \"InputMono Nerd Font\",\n \"InputMonoNarrow Nerd Font\",\n \"InputMonoCondensed Nerd Font\",\n \"InputMonoCompressed Nerd Font\",\n \"Iosevka Term\",\n \"Iosevka Term Extended\",\n \"Iosevka Term Slab\",\n \"Iosevka Term Slab Extended\",\n \"JetBrainsMono Nerd Font\",\n \"MonoLisa Nerd Font\",\n \"RecMonoLinear Nerd Font\",\n \"RobotoMono Nerd Font\",\n \"SFMono Nerd Font\",\n \"VictorMono Nerd Font\"\n]\n@var checkbox hide-diff-highlight \"Hide diff highlight\" 0\n==/UserStyle== */\n\n@-moz-document domain(\"git.mfocko.xyz\"), domain(\"git.gauss.mfocko.xyz\") {\n * {\n --fonts-monospace: monospace-font !important;\n }\n \n .code-diff-split .del-code .lines-code-old, .code-diff-split .del-code .lines-num-old, .code-diff-split .del-code .lines-type-marker-old, .code-diff-unified .del-code, .code-diff-unified .del-code td,\n .code-diff-split .add-code .lines-code-new, .code-diff-split .add-code .lines-num-new, .code-diff-split .add-code .lines-type-marker-new, .code-diff-split .del-code .add-code.lines-code-new, .code-diff-split .del-code .add-code.lines-num-new, .code-diff-split .del-code .add-code.lines-type-marker-new, .code-diff-unified .add-code, .code-diff-unified .add-code td {\n if hide-diff-highlight {\n background: none;\n }\n }\n}",
"sourceCode": "/* ==UserStyle==\n@name Gitea\n@namespace git.mfocko.xyz/mfocko/dotfiles\n@version 1.0.0\n@description Style for Gitea that allows removal of diff highlight on pull requests.\n@author mfocko <me@mfocko.xyz>\n@preprocessor stylus\n@var select monospace-font \"Font\" [\n \"monospace*\",\n \"BlexMono Nerd Font\",\n \"CaskaydiaCovePL Nerd Font\",\n \"FiraCode Nerd Font\",\n \"InputMono Nerd Font\",\n \"InputMonoNarrow Nerd Font\",\n \"InputMonoCondensed Nerd Font\",\n \"InputMonoCompressed Nerd Font\",\n \"Iosevka Term\",\n \"Iosevka Term Extended\",\n \"Iosevka Term Slab\",\n \"Iosevka Term Slab Extended\",\n \"JetBrainsMono Nerd Font\",\n \"MonoLisa Nerd Font\",\n \"RecMonoLinear Nerd Font\",\n \"RobotoMono Nerd Font\",\n \"SFMono Nerd Font\",\n \"VictorMono Nerd Font\"\n]\n@var checkbox hide-diff-highlight \"Hide diff highlight\" 0\n==/UserStyle== */\n@-moz-document domain(\"git.mfocko.xyz\"),\ndomain(\"git.gauss.mfocko.xyz\") {\n * {\n --fonts-monospace: monospace-font !important;\n }\n\n .code-diff-split .del-code .lines-code-old,\n .code-diff-split .del-code .lines-num-old,\n .code-diff-split .del-code .lines-type-marker-old,\n .code-diff-unified .del-code,\n .code-diff-unified .del-code td,\n .code-diff-split .add-code .lines-code-new,\n .code-diff-split .add-code .lines-num-new,\n .code-diff-split .add-code .lines-type-marker-new,\n .code-diff-split .del-code .add-code.lines-code-new,\n .code-diff-split .del-code .add-code.lines-num-new,\n .code-diff-split .del-code .add-code.lines-type-marker-new,\n .code-diff-unified .add-code,\n .code-diff-unified .add-code td {\n if hide-diff-highlight {\n background: none;\n }\n }\n}",
"usercssData": {
"name": "Gitea",
"namespace": "git.mfocko.xyz/mfocko/dotfiles",
@ -445,9 +439,14 @@
"type": "select",
"label": "Font",
"name": "monospace-font",
"value": "Iosevka Term",
"default": "CaskaydiaCovePL Nerd Font",
"value": "FiraCode Nerd Font",
"default": "monospace",
"options": [
{
"name": "monospace",
"label": "monospace",
"value": "monospace"
},
{
"name": "BlexMono Nerd Font",
"label": "BlexMono Nerd Font",
@ -548,13 +547,13 @@
"author": "mfocko <me@mfocko.xyz>",
"description": "Style for Gitea that allows removal of diff highlight on pull requests.",
"name": "Gitea",
"updateDate": 1628965434813,
"updateDate": 1629190281794,
"_id": "b00f26a5-22df-42b6-9bc5-5131bffd8980",
"_rev": 1628965434813,
"_rev": 1629192179282,
"id": 14,
"customName": "Gitea",
"_usw": {},
"originalDigest": "2bd91a60ba41ec55e6af517e275bc03643e5532c"
"originalDigest": "4f5cd8e74b482a58d2a06fc77c6d93e5bc7ee5aa"
},
{
"enabled": true,
@ -574,7 +573,7 @@
}
],
"customName": "GitLab",
"sourceCode": "/* ==UserStyle==\n@name GitLab\n@namespace git.mfocko.xyz/mfocko/dotfiles\n@version 1.0.0\n@description Style for GitLab that allows switching of the monospace font and also disabling diff highlight on merge requests.\n@author mfocko <me@mfocko.xyz>\n@preprocessor stylus\n@var select monospace-font \"Font\" [\n \"BlexMono Nerd Font\",\n \"CaskaydiaCovePL Nerd Font*\",\n \"FiraCode Nerd Font\",\n \"InputMono Nerd Font\",\n \"InputMonoNarrow Nerd Font\",\n \"InputMonoCondensed Nerd Font\",\n \"InputMonoCompressed Nerd Font\",\n \"Iosevka Term\",\n \"Iosevka Term Extended\",\n \"Iosevka Term Slab\",\n \"Iosevka Term Slab Extended\",\n \"JetBrainsMono Nerd Font\",\n \"MonoLisa Nerd Font\",\n \"RecMonoLinear Nerd Font\",\n \"RobotoMono Nerd Font\",\n \"SFMono Nerd Font\",\n \"VictorMono Nerd Font\"\n]\n@var checkbox hide-diff-highlight \"Hide diff highlight\" 0\n==/UserStyle== */\n\n@-moz-document domain(\"gitlab.com\"), domain(\"gitlab.fi.muni.cz\"), domain(\"git.kpi.fei.tuke.sk\"), domain(\"gitlab.cee.redhat.com\") {\n pre,\n code,\n kbd,\n samp,\n tt,\n .text-monospace,\n .gl-markdown .monospace,\n .gl-compact-markdown .monospace,\n .search-token-target-branch .value,\n .help-form .form-group .form-control,\n .help-form .form-group .search form,\n .search .help-form .form-group form,\n .file-content.code pre,\n .file-content.code pre code,\n .file-content.code .line-numbers a,\n .job-log,\n .md-suggestion-diff,\n .md code,\n .monospace,\n .commit-sha,\n .gfm-commit,\n .gfm-commit_range,\n .ref-name,\n .pipeline-number,\n .git-revision-dropdown .dropdown-content li:not(.dropdown-menu-empty-item) a,\n textarea.js-gfm-input,\n .diff-table.code,\n table.code,\n .commit-message-container,\n .file-editor .file-title,\n .mr-state-widget .label-branch,\n .discussion-reply-holder .reply-placeholder-text-field,\n .git-clone-holder .form-control,\n .git-clone-holder .search form,\n .search .git-clone-holder form,\n .prometheus-svg-container > svg .deploy-info-text-link,\n .tui-editor-defaultUI .te-md-container .CodeMirror *,\n .project-mirror-settings .known-hosts {\n font-family: monospace-font;\n }\n \n .code.dark .line_holder .diff-line-num.new,\n .code.dark .line_holder .line-coverage.new,\n .code.dark .line_holder .line_content.new,\n\n .code.dark .line_holder .diff-line-num.old,\n .code.dark .line_holder .line-coverage.old,\n .code.dark .line_holder .line_content.old {\n if hide-diff-highlight {\n background: none;\n }\n }\n}",
"sourceCode": "/* ==UserStyle==\n@name GitLab\n@namespace git.mfocko.xyz/mfocko/dotfiles\n@version 1.0.0\n@description Style for GitLab that allows switching of the monospace font and also disabling diff highlight on merge requests.\n@author mfocko <me@mfocko.xyz>\n@preprocessor stylus\n@var select monospace-font \"Font\" [\n \"monospace*\",\n \"BlexMono Nerd Font\",\n \"CaskaydiaCovePL Nerd Font\",\n \"FiraCode Nerd Font\",\n \"InputMono Nerd Font\",\n \"InputMonoNarrow Nerd Font\",\n \"InputMonoCondensed Nerd Font\",\n \"InputMonoCompressed Nerd Font\",\n \"Iosevka Term\",\n \"Iosevka Term Extended\",\n \"Iosevka Term Slab\",\n \"Iosevka Term Slab Extended\",\n \"JetBrainsMono Nerd Font\",\n \"MonoLisa Nerd Font\",\n \"RecMonoLinear Nerd Font\",\n \"RobotoMono Nerd Font\",\n \"SFMono Nerd Font\",\n \"VictorMono Nerd Font\"\n]\n@var checkbox hide-diff-highlight \"Hide diff highlight\" 0\n==/UserStyle== */\n@-moz-document domain(\"gitlab.com\"),\ndomain(\"gitlab.fi.muni.cz\"),\ndomain(\"git.kpi.fei.tuke.sk\"),\ndomain(\"gitlab.cee.redhat.com\") {\n pre,\n code,\n kbd,\n samp,\n tt,\n .text-monospace,\n .gl-markdown .monospace,\n .gl-compact-markdown .monospace,\n .search-token-target-branch .value,\n .help-form .form-group .form-control,\n .help-form .form-group .search form,\n .search .help-form .form-group form,\n .file-content.code pre,\n .file-content.code pre code,\n .file-content.code .line-numbers a,\n .job-log,\n .md-suggestion-diff,\n .md code,\n .monospace,\n .commit-sha,\n .gfm-commit,\n .gfm-commit_range,\n .ref-name,\n .pipeline-number,\n .git-revision-dropdown .dropdown-content li:not(.dropdown-menu-empty-item) a,\n textarea.js-gfm-input,\n .diff-table.code,\n table.code,\n .commit-message-container,\n .file-editor .file-title,\n .mr-state-widget .label-branch,\n .discussion-reply-holder .reply-placeholder-text-field,\n .git-clone-holder .form-control,\n .git-clone-holder .search form,\n .search .git-clone-holder form,\n .prometheus-svg-container > svg .deploy-info-text-link,\n .tui-editor-defaultUI .te-md-container .CodeMirror *,\n .project-mirror-settings .known-hosts {\n font-family: monospace-font;\n }\n\n .code.dark .line_holder .diff-line-num.new,\n .code.dark .line_holder .line-coverage.new,\n .code.dark .line_holder .line_content.new,\n\n .code.dark .line_holder .diff-line-num.old,\n .code.dark .line_holder .line-coverage.old,\n .code.dark .line_holder .line_content.old {\n if hide-diff-highlight {\n background: none;\n }\n }\n}",
"usercssData": {
"name": "GitLab",
"namespace": "git.mfocko.xyz/mfocko/dotfiles",
@ -588,8 +587,13 @@
"label": "Font",
"name": "monospace-font",
"value": "JetBrainsMono Nerd Font",
"default": "CaskaydiaCovePL Nerd Font",
"default": "monospace",
"options": [
{
"name": "monospace",
"label": "monospace",
"value": "monospace"
},
{
"name": "BlexMono Nerd Font",
"label": "BlexMono Nerd Font",
@ -690,9 +694,9 @@
"author": "mfocko <me@mfocko.xyz>",
"description": "Style for GitLab that allows switching of the monospace font and also disabling diff highlight on merge requests.",
"name": "GitLab",
"updateDate": 1628965514055,
"updateDate": 1629190289152,
"_id": "679e1540-76cc-4116-8e0d-03c24e9c7d78",
"_rev": 1628965514055,
"_rev": 1629192179361,
"id": 15,
"originalDigest": "66045a4b4c270a81c9ca9a149285e35383c4cd32",
"_usw": {}
@ -704,15 +708,13 @@
"installDate": 1626955622290,
"sections": [
{
"code": ":root {\n --monospace-font: Iosevka Term;\n}\npre, code, kbd, var, tt,\n .blob-code-inner,\n .file-info,\n .text-mono,\n .commit-ref,\n .blob-num,\n .branch-name,\n textarea, .comment-body {\n font-family: var(--monospace-font) !important;\n }",
"start": 812,
"domains": [
"github.com"
]
"code": ":root {\n --monospace-font: monospace;\n}\npre,\n code,\n kbd,\n var,\n tt,\n .blob-code-inner,\n .file-info,\n .text-mono,\n .commit-ref,\n .blob-num,\n .branch-name,\n textarea {\n font-family: var(--monospace-font) !important;\n }",
"start": 828,
"domains": ["github.com"]
}
],
"customName": "github.com",
"sourceCode": "/* ==UserStyle==\n@name github.com\n@namespace git.mfocko.xyz/mfocko/dotfiles\n@version 1.0.0\n@description Style that allows changing monospace font on the GitHub\n@author mfocko <me@mfocko.xyz>\n@var select monospace-font \"Font\" [\n \"BlexMono Nerd Font\",\n \"CaskaydiaCovePL Nerd Font*\",\n \"FiraCode Nerd Font\",\n \"InputMono Nerd Font\",\n \"InputMonoNarrow Nerd Font\",\n \"InputMonoCondensed Nerd Font\",\n \"InputMonoCompressed Nerd Font\",\n \"Iosevka Term\",\n \"Iosevka Term Extended\",\n \"Iosevka Term Slab\",\n \"Iosevka Term Slab Extended\",\n \"JetBrainsMono Nerd Font\",\n \"MonoLisa Nerd Font\",\n \"RecMonoLinear Nerd Font\",\n \"RobotoMono Nerd Font\",\n \"SFMono Nerd Font\",\n \"VictorMono Nerd Font\"\n]\n==/UserStyle== */\n\n@-moz-document domain(\"github.com\") {\n pre, code, kbd, var, tt,\n .blob-code-inner,\n .file-info,\n .text-mono,\n .commit-ref,\n .blob-num,\n .branch-name,\n textarea, .comment-body {\n font-family: var(--monospace-font) !important;\n }\n}",
"sourceCode": "/* ==UserStyle==\n@name github.com\n@namespace git.mfocko.xyz/mfocko/dotfiles\n@version 1.0.0\n@description Style that allows changing monospace font on the GitHub\n@author mfocko <me@mfocko.xyz>\n@var select monospace-font \"Font\" [\n \"monospace*\",\n \"BlexMono Nerd Font\",\n \"CaskaydiaCovePL Nerd Font\",\n \"FiraCode Nerd Font\",\n \"InputMono Nerd Font\",\n \"InputMonoNarrow Nerd Font\",\n \"InputMonoCondensed Nerd Font\",\n \"InputMonoCompressed Nerd Font\",\n \"Iosevka Term\",\n \"Iosevka Term Extended\",\n \"Iosevka Term Slab\",\n \"Iosevka Term Slab Extended\",\n \"JetBrainsMono Nerd Font\",\n \"MonoLisa Nerd Font\",\n \"RecMonoLinear Nerd Font\",\n \"RobotoMono Nerd Font\",\n \"SFMono Nerd Font\",\n \"VictorMono Nerd Font\"\n]\n==/UserStyle== */\n@-moz-document domain(\"github.com\") {\n pre,\n code,\n kbd,\n var,\n tt,\n .blob-code-inner,\n .file-info,\n .text-mono,\n .commit-ref,\n .blob-num,\n .branch-name,\n textarea {\n font-family: var(--monospace-font) !important;\n }\n}",
"usercssData": {
"name": "github.com",
"namespace": "git.mfocko.xyz/mfocko/dotfiles",
@ -724,9 +726,14 @@
"type": "select",
"label": "Font",
"name": "monospace-font",
"value": "Iosevka Term",
"default": "CaskaydiaCovePL Nerd Font",
"value": "monospace",
"default": "monospace",
"options": [
{
"name": "monospace",
"label": "monospace",
"value": "monospace"
},
{
"name": "BlexMono Nerd Font",
"label": "BlexMono Nerd Font",
@ -819,12 +826,12 @@
"author": "mfocko <me@mfocko.xyz>",
"description": "Style that allows changing monospace font on the GitHub",
"name": "github.com",
"updateDate": 1628965465271,
"updateDate": 1629190285214,
"_id": "3b50c750-0f6e-4d80-be7b-d84a43c3a730",
"_rev": 1628965465271,
"_rev": 1629192188683,
"id": 16,
"_usw": {},
"originalDigest": "1cd5cc8aaed513852e51bf0bb123aa35ab67c725"
"originalDigest": "adb0cf41d632fd7c4343b2bac892fa89f7fc0043"
},
{
"enabled": true,
@ -834,13 +841,11 @@
"sections": [
{
"code": ":root {\n --monospace-font: FiraCode Nerd Font;\n}\n.email-body {\n font-family: var(--monospace-font);\n }",
"start": 823,
"domains": [
"lists.fedoraproject.org"
]
"start": 839,
"domains": ["lists.fedoraproject.org"]
}
],
"sourceCode": "/* ==UserStyle==\n@name lists.fedoraproject.org\n@namespace git.mfocko.xyz/mfocko/dotfiles\n@version 1.0.0\n@description Changes default font for the email body.\n@author mfocko <me@mfocko.xyz>\n@var select monospace-font \"Font\" [\n \"BlexMono Nerd Font\",\n \"CaskaydiaCovePL Nerd Font*\",\n \"FiraCode Nerd Font\",\n \"InputMono Nerd Font\",\n \"InputMonoNarrow Nerd Font\",\n \"InputMonoCondensed Nerd Font\",\n \"InputMonoCompressed Nerd Font\",\n \"Iosevka Term\",\n \"Iosevka Term Extended\",\n \"Iosevka Term Slab\",\n \"Iosevka Term Slab Extended\",\n \"JetBrainsMono Nerd Font\",\n \"MonoLisa Nerd Font\",\n \"RecMonoLinear Nerd Font\",\n \"RobotoMono Nerd Font\",\n \"SFMono Nerd Font\",\n \"VictorMono Nerd Font\"\n]\n==/UserStyle== */\n\n@-moz-document domain(\"lists.fedoraproject.org\") {\n .email-body {\n font-family: var(--monospace-font);\n }\n}",
"sourceCode": "/* ==UserStyle==\n@name lists.fedoraproject.org\n@namespace git.mfocko.xyz/mfocko/dotfiles\n@version 1.0.0\n@description Changes default font for the email body.\n@author mfocko <me@mfocko.xyz>\n@var select monospace-font \"Font\" [\n \"monospace*\",\n \"BlexMono Nerd Font\",\n \"CaskaydiaCovePL Nerd Font\",\n \"FiraCode Nerd Font\",\n \"InputMono Nerd Font\",\n \"InputMonoNarrow Nerd Font\",\n \"InputMonoCondensed Nerd Font\",\n \"InputMonoCompressed Nerd Font\",\n \"Iosevka Term\",\n \"Iosevka Term Extended\",\n \"Iosevka Term Slab\",\n \"Iosevka Term Slab Extended\",\n \"JetBrainsMono Nerd Font\",\n \"MonoLisa Nerd Font\",\n \"RecMonoLinear Nerd Font\",\n \"RobotoMono Nerd Font\",\n \"SFMono Nerd Font\",\n \"VictorMono Nerd Font\"\n]\n==/UserStyle== */\n@-moz-document domain(\"lists.fedoraproject.org\") {\n .email-body {\n font-family: var(--monospace-font);\n }\n}",
"usercssData": {
"name": "lists.fedoraproject.org",
"namespace": "git.mfocko.xyz/mfocko/dotfiles",
@ -853,8 +858,13 @@
"label": "Font",
"name": "monospace-font",
"value": "FiraCode Nerd Font",
"default": "CaskaydiaCovePL Nerd Font",
"default": "monospace",
"options": [
{
"name": "monospace",
"label": "monospace",
"value": "monospace"
},
{
"name": "BlexMono Nerd Font",
"label": "BlexMono Nerd Font",
@ -947,11 +957,143 @@
"author": "mfocko <me@mfocko.xyz>",
"description": "Changes default font for the email body.",
"name": "lists.fedoraproject.org",
"updateDate": 1628965544387,
"updateDate": 1629190296882,
"_id": "e9b78d61-a2c4-4158-bb93-efd1ff920391",
"_rev": 1628965544387,
"_rev": 1629192179385,
"id": 17,
"originalDigest": "8bc31eda80401cb08d8162204d20fb0c40fb7b41",
"_usw": {}
},
{
"enabled": true,
"updateUrl": null,
"url": null,
"installDate": 1629752843761,
"sections": [
{
"code": ".pf-c-log-viewer__text,\n .pf-c-log-viewer__index {\n font-family: monospace;\n }",
"start": 106,
"urlPrefixes": ["http://localhost:3000"],
"regexps": ["https://dashboard(\\.stg)?\\.packit.dev/.*"]
}
],
"sourceCode": "/* ==UserStyle==\n@name Packit Dashboard\n@namespace git.mfocko.xyz/mfocko/dotfiles\n@version 1.0.0\n@description Style for Packit Dashboard.\n@author mfocko <me@mfocko.xyz>\n@preprocessor stylus\n@var select monospace-font \"Font\" [\n \"monospace*\",\n \"BlexMono Nerd Font\",\n \"CaskaydiaCovePL Nerd Font\",\n \"FiraCode Nerd Font\",\n \"InputMono Nerd Font\",\n \"InputMonoNarrow Nerd Font\",\n \"InputMonoCondensed Nerd Font\",\n \"InputMonoCompressed Nerd Font\",\n \"Iosevka Term\",\n \"Iosevka Term Extended\",\n \"Iosevka Term Slab\",\n \"Iosevka Term Slab Extended\",\n \"JetBrainsMono Nerd Font\",\n \"MonoLisa Nerd Font\",\n \"RecMonoLinear Nerd Font\",\n \"RobotoMono Nerd Font\",\n \"SFMono Nerd Font\",\n \"VictorMono Nerd Font\"\n]\n==/UserStyle== */\n\n@-moz-document url-prefix(\"http://localhost:3000\"), regexp(\"https://dashboard(\\\\.stg)?\\\\.packit.dev/.*\") {\n .pf-c-log-viewer__text, .pf-c-log-viewer__index {\n font-family: monospace-font;\n }\n}",
"usercssData": {
"name": "Packit Dashboard",
"namespace": "git.mfocko.xyz/mfocko/dotfiles",
"version": "1.0.0",
"description": "Style for Packit Dashboard.",
"author": "mfocko <me@mfocko.xyz>",
"preprocessor": "stylus",
"vars": {
"monospace-font": {
"type": "select",
"label": "Font",
"name": "monospace-font",
"value": null,
"default": "monospace",
"options": [
{
"name": "monospace",
"label": "monospace",
"value": "monospace"
},
{
"name": "BlexMono Nerd Font",
"label": "BlexMono Nerd Font",
"value": "BlexMono Nerd Font"
},
{
"name": "CaskaydiaCovePL Nerd Font",
"label": "CaskaydiaCovePL Nerd Font",
"value": "CaskaydiaCovePL Nerd Font"
},
{
"name": "FiraCode Nerd Font",
"label": "FiraCode Nerd Font",
"value": "FiraCode Nerd Font"
},
{
"name": "InputMono Nerd Font",
"label": "InputMono Nerd Font",
"value": "InputMono Nerd Font"
},
{
"name": "InputMonoNarrow Nerd Font",
"label": "InputMonoNarrow Nerd Font",
"value": "InputMonoNarrow Nerd Font"
},
{
"name": "InputMonoCondensed Nerd Font",
"label": "InputMonoCondensed Nerd Font",
"value": "InputMonoCondensed Nerd Font"
},
{
"name": "InputMonoCompressed Nerd Font",
"label": "InputMonoCompressed Nerd Font",
"value": "InputMonoCompressed Nerd Font"
},
{
"name": "Iosevka Term",
"label": "Iosevka Term",
"value": "Iosevka Term"
},
{
"name": "Iosevka Term Extended",
"label": "Iosevka Term Extended",
"value": "Iosevka Term Extended"
},
{
"name": "Iosevka Term Slab",
"label": "Iosevka Term Slab",
"value": "Iosevka Term Slab"
},
{
"name": "Iosevka Term Slab Extended",
"label": "Iosevka Term Slab Extended",
"value": "Iosevka Term Slab Extended"
},
{
"name": "JetBrainsMono Nerd Font",
"label": "JetBrainsMono Nerd Font",
"value": "JetBrainsMono Nerd Font"
},
{
"name": "MonoLisa Nerd Font",
"label": "MonoLisa Nerd Font",
"value": "MonoLisa Nerd Font"
},
{
"name": "RecMonoLinear Nerd Font",
"label": "RecMonoLinear Nerd Font",
"value": "RecMonoLinear Nerd Font"
},
{
"name": "RobotoMono Nerd Font",
"label": "RobotoMono Nerd Font",
"value": "RobotoMono Nerd Font"
},
{
"name": "SFMono Nerd Font",
"label": "SFMono Nerd Font",
"value": "SFMono Nerd Font"
},
{
"name": "VictorMono Nerd Font",
"label": "VictorMono Nerd Font",
"value": "VictorMono Nerd Font"
}
]
}
}
},
"author": "mfocko <me@mfocko.xyz>",
"description": "Style for Packit Dashboard.",
"name": "Packit Dashboard",
"updateDate": 1629754793803,
"_id": "0e565bbc-774e-4b67-9b74-3177ba1f361d",
"_rev": 1629754793803,
"id": 18,
"_usw": {}
}
]
]

View file

@ -23,6 +23,9 @@
[pull]
rebase = true
[rebase]
autoStash = true
[user]
name = Matej Focko
email = {{ git_email }}

View file

@ -0,0 +1,20 @@
# Colors (One Dark - https://github.com/atom/atom/tree/master/packages/one-dark-syntax)
colors:
primary:
background: "#282c34"
foreground: "#abb2bf"
cursor:
text: CellBackground
cursor: "#528bff" # syntax-cursor-color
selection:
text: CellForeground
background: "#3e4451" # syntax-selection-color
normal:
black: "#5c6370" # mono-3
red: "#e06c75" # red 1
green: "#98c379"
yellow: "#e5c07b" # orange 2
blue: "#61afef"
magenta: "#c678dd"
cyan: "#56b6c2"
white: "#828997" # mono-2

View file

@ -0,0 +1,20 @@
# Colors (One Light - https://github.com/atom/atom/tree/master/packages/one-light-syntax)
colors:
primary:
background: "#fafafa"
foreground: "#383a42"
cursor:
text: CellBackground
cursor: "#526eff" # syntax-cursor-color
selection:
text: CellForeground
background: "#e5e5e6" # syntax-selection-color
normal:
black: "#696c77" # mono-2
red: "#e45649" # red 1
green: "#50a14f"
yellow: "#c18401" # orange 2
blue: "#4078f2"
magenta: "#a626a4"
cyan: "#0184bc"
white: "#a0a1a7" # mono-3

View file

@ -0,0 +1,27 @@
colors:
# Default colors
primary:
background: "0x1a1b26"
foreground: "0xa9b1d6"
# Normal colors
normal:
black: "0x32344a"
red: "0xf7768e"
green: "0x9ece6a"
yellow: "0xe0af68"
blue: "0x7aa2f7"
magenta: "0xad8ee6"
cyan: "0x449dab"
white: "0x787c99"
# Bright colors
bright:
black: "0x444b6a"
red: "0xff7a93"
green: "0xb9f27c"
yellow: "0xff9e64"
blue: "0x7da6ff"
magenta: "0xbb9af7"
cyan: "0x0db9d7"
white: "0xacb0d0"

View file

@ -0,0 +1,27 @@
colors:
# Default colors
primary:
background: "0x24283b"
foreground: "0xa9b1d6"
# Normal colors
normal:
black: "0x32344a"
red: "0xf7768e"
green: "0x9ece6a"
yellow: "0xe0af68"
blue: "0x7aa2f7"
magenta: "0xad8ee6"
cyan: "0x449dab"
white: "0x9699a8"
# Bright colors
bright:
black: "0x444b6a"
red: "0xff7a93"
green: "0xb9f27c"
yellow: "0xff9e64"
blue: "0x7da6ff"
magenta: "0xbb9af7"
cyan: "0x0db9d7"
white: "0xacb0d0"

View file

@ -34,11 +34,11 @@ format = "[$path]($style)[$read_only]($read_only_style) "
[custom.toolbox]
when = "ls /run/.containerenv"
symbol = " "
symbol = " "
command = "bash ~/.local/bin/toolbox_name.sh"
format = "in [$symbol($output )]($style)"
style = "bold purple"
[character]
success_symbol = "[\\$](bold green)"
error_symbol = "[\\$](bold red)"
success_symbol = "[λ](bold green)"
error_symbol = "[λ](bold red)"

View file

@ -4,8 +4,26 @@
"editor.cursorBlinking": "phase",
"editor.cursorStyle": "underline",
// "editor.fontFamily": "BlexMono Nerd Font",
"editor.fontFamily": "CaskaydiaCovePL Nerd Font",
"editor.fontWeight": 350,
// "editor.fontFamily": "FiraCode Nerd Font",
// "editor.fontFamily": "Hack Nerd Font",
// "editor.fontFamily": "Hasklug Nerd Font",
// "editor.fontFamily": "InputMono Nerd Font",
// "editor.fontFamily": "InputMonoNarrow Nerd Font",
// "editor.fontFamily": "InputMonoCondensed Nerd Font",
// "editor.fontFamily": "InputMonoCompressed Nerd Font",
// "editor.fontFamily": "'Iosevka Term', 'InputMonoCompressed Nerd Font'",
// "editor.fontFamily": "'Iosevka Term Extended', 'InputMonoCompressed Nerd Font'",
// "editor.fontFamily": "'Iosevka Term Slab', 'InputMonoCompressed Nerd Font'",
// "editor.fontFamily": "'Iosevka Term Slab Extended', 'InputMonoCompressed Nerd Font'",
// "editor.fontFamily": "JetBrainsMono Nerd Font",
// "editor.fontFamily": "MonoLisa Nerd Font",
// "editor.fontFamily": "RecMonoLinear Nerd Font",
// "editor.fontFamily": "RobotoMono Nerd Font",
// "editor.fontFamily": "SFMono Nerd Font",
// "editor.fontFamily": "VictorMono Nerd Font",
// "editor.fontWeight": 350,
"editor.fontSize": 16,
"editor.fontLigatures": true,
@ -20,7 +38,8 @@
"editor.renderIndentGuides": true,
"editor.renderWhitespace": "all",
"editor.rulers": [
80
80,
100,
],
"git.autofetch": true,
@ -34,13 +53,4 @@
"workbench.settings.editor": "json",
"workbench.editor.showTabs": true,
//****************************** EXTENSIONS ******************************//
"gitlens.views.compare.location": "scm",
"gitlens.views.fileHistory.location": "scm",
"gitlens.views.lineHistory.location": "scm",
"gitlens.views.repositories.location": "scm",
"gitlens.views.search.location": "scm",
"diffEditor.renderSideBySide": true
}

View file

@ -1,13 +1,13 @@
#!/bin/bash
# for upstream
URL='https://go.microsoft.com/fwlink/?LinkId=723968'
URL='https://code.visualstudio.com/sha/download?build=insider&os=linux-x64'
# for local
# URL='https://gauss.mfocko.xyz/code-insiders.tar.gz'
# for local over VPN (also use --no-check-certificate)
# URL='https://10.0.0.2/code-insiders.tar.gz'
# URL='https://172.16.0.2/code-insiders.tar.gz'
echo ">>> Downloading";
wget $URL -O /tmp/code.tar.gz