- Install the redirector addon:
- Open extension settings, click "Import" and provide above JSON file.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#! /bin/sh | |
set -eu | |
jq -V >/dev/null | |
if [ $# -lt 1 ] | |
then | |
printf 'Usage: %s rad:… [name-of-worktree]\n' "$0" | |
printf 'The worktree will be created in a new directory within the current working directory.' | |
exit 1 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#! /bin/sh | |
set -eu | |
REMOTE="rad" | |
ALTERNATES="$(git rev-parse --absolute-git-dir)/objects/info/alternates" | |
URI=$(git remote get-url "$REMOTE") | |
if [ "${URI:0:6}" != "rad://" ] | |
then | |
echo "URL for remote '$REMOTE' does not have expected prefix 'rad://'. Aborting." |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#! /bin/sh | |
set -eu | |
JQ="jq --unbuffered --color-output" | |
JQ_TX="JQ_COLORS='1;30:0;39:0;39:0;39:1;35:1;39:1;39:1;31' $JQ | sed 's/^/>/'" | |
JQ_RX="JQ_COLORS='0;90:0;37:0;37:0;37:0;32:1;37:1;37:1;34' $JQ | sed 's/^/</'" | |
SOCKET="${RAD_HOME:-"${HOME}/.radicle"}/node/control.sock" | |
if [ ! -S "${SOCKET}" ] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#! /usr/bin/env nix-shell | |
#! nix-shell -i bash -p bash gh curl jq | |
set -euo pipefail | |
REV="main" # 2c50fffdcecb245836ed02cb5c2480a57bdcfef7 as of 2024-03-18 | |
URL_BASE="https://github.com/starknet-io/provisions-data/raw/${REV}/github" | |
if [ $# == 1 ] | |
then # use GitHub username passed via commandline argument. | |
LOGIN=$1 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#! /usr/bin/env nix-shell | |
#! nix-shell -i bash -p bash gh | |
set -eu | |
# See <https://gist.github.com/lorenzleutgeb/239214f1d60b1cf8c79e7b0dc0483deb>. | |
# Will exit non-zero if not logged in. | |
gh auth status | |
if [ $# == 1 ] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
abstract | |
acronym | |
algorithm | |
algorithm2e | |
algorithmic | |
alltt | |
amsbsy | |
amscd | |
amsfonts | |
amsgen |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
:: The first argument is always "-C", since | |
:: External Editor Revived thinks that this | |
:: process is bash. | |
set target=%2 | |
:: The following two lines can be used to | |
:: convert the argument to a WSL path. | |
::set target=%target:\\=/% | |
::set target=%target:C:=/mnt/c% |
I hereby claim:
- I am lorenzleutgeb on github.
- I am lorenzleutgeb (https://keybase.io/lorenzleutgeb) on keybase.
- I have a public key ASD6u6iP7MRx35wMg8Im2meDT587dnMpsNou19T6RTpJrQo
To claim this, I am signing this object:
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
% Instance format: | |
% v/1 for vertices. | |
% e/2 for edges. | |
% Example: | |
% v(1..4). | |
% e(1,2). | |
% e(1,3). | |
% e(3,4). |
NewerOlder