Skip to content

Instantly share code, notes, and snippets.

A leader menu for Dance

I didn't find a nice way to use space as a leader key when the terminal is focused, so I'm using f1. shift+space may be a nice alternative.

[
    {
        "key": "space",
        "command": "dance.openMenu",
 "args": { "menu": "leader" },
@nwwdles
nwwdles / README.md
Last active July 12, 2020 03:30
A script to make VSCode load CSS from a custom URI

vscode-patch-css.sh

A script to make VSCode load CSS from a custom URI.

I've added some known vscode resource dir paths (for code/vscodium-bin for manjaro/arch and one path from some .deb package).

Patch contents are in the middle of the script. Yes, it literally inserts just one line :) If the patch fails, just adapt it for your version of workbench.html. Or rewrite it with grep+sed, it will be shorter and won't be so dependent on the exact content of unrelated lines. Something like this:

grep -q "$link" "$file" || sed -i 's|\(\t</head>\)|\t\t'"$link"'\n\1|' "$file"