The above config is single file for portability between environments.
Here's dependents that you need to set it up
#!/usr/bin/env bash | |
ext_root="$HOME/.vscode/extensions/" | |
cd $ext_root | |
extension_dir=$(ls . | grep miguelsolorio.symbols) | |
cd $extension_dir | |
jq -n -f ./src/symbol-icon-theme.json | cat > .tmp | |
npx json -I -e "this.hidesExplorerArrows=true;" -f .tmp | |
mv ./src/symbol-icon-theme.json ./src/symbol-icon-theme.json.bak | |
mv .tmp ./src/symbol-icon-theme.json |
[ | |
{ | |
"name": "gray-100", | |
"color": "rgba(25, 24, 21, 1)" | |
}, | |
{ | |
"name": "gray-75", | |
"color": "rgba(113, 113, 113, 1)" | |
}, | |
{ |
<?xml version="1.0" encoding="UTF-8"?> | |
<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd"> | |
<plist version="1.0"> | |
<dict> | |
<key>Ansi 0 Color</key> | |
<dict> | |
<key>Alpha Component</key> | |
<real>1</real> | |
<key>Blue Component</key> | |
<real>0.44705882668495178</real> |
with (import <nixpkgs> {}); | |
with (import /home/maarten/code/nixos/yarn2nix { inherit pkgs; }); | |
let | |
gems = bundlerEnv { | |
name = "project-name"; | |
inherit ruby; | |
gemdir = ./.; | |
}; | |
in stdenv.mkDerivation { | |
name = "project-name"; |
-- table structure for reference | |
-- `areas` | |
-- column type nullable | |
-- ------------------------------ | |
-- id int4 NO | |
-- name varchar(11) YES | |
-- slots int4 NO | |
-- | |
-- `avail` | |
-- column type nullable |
import { fromArray, fromValue, pipe, toPromise } from "wonka"; | |
function talkbackPlaceholder(a) {} | |
const customTake = (max) => (source) => (sink) => { | |
let taken = []; | |
let talkback = talkbackPlaceholder; | |
let ended = false; | |
return source((signal) => { | |
if (typeof signal === "number") { |
@import url("https://unpkg.com/[email protected]/css/zinc.min.css"); | |
@import url("https://rsms.me/inter/inter.css"); | |
html, | |
body { | |
padding: 0; | |
margin: 0; | |
font-family: -apple-system, BlinkMacSystemFont, Segoe UI, Roboto, Oxygen, | |
Ubuntu, Cantarell, Fira Sans, Droid Sans, Helvetica Neue, sans-serif; | |
} |
#!/bin/bash | |
set -euxo pipefail | |
# Configurations | |
# the new user that's to be added for logging in (comment out `create_user` from the `main` if you already have a admin user) | |
NEW_USER="admin" | |
DUMMY_PASS="dummyPassword123" | |
# your public key to be replaced here |