{
"body": {
"key": {
"fingerprint": "dfc654d26a794b53e9d2052f6734ac8d34cfa5a8",
"host": "keybase.io",
"key_id": "6734ac8d34cfa5a8",
"uid": "92b9f4e0eef5154d8b59cf82dcb70a00",
"username": "tv"
This file contains hidden or 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 -euf | |
# TODO NIX_GHC=$(type -P ghc) NIX_GHC_DOCDIR=$(dirname $(dirname $(type -P ghc)))/share/doc/ghc/html | |
# if unset: this is for e.g. emse-hdsb | |
main() { | |
pkg=$(dirname $(dirname $NIX_GHC)) | |
This file contains hidden or 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
" show syntax highlight group | |
fu ShowSyntax () | |
let id = synID(line("."), col("."), 1) | |
let name = synIDattr(id, "name") | |
let transName = synIDattr(synIDtrans(id),"name") | |
if name != transName | |
let name .= " (" . transName . ")" | |
endif | |
return name | |
endfu |
This file contains hidden or 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 | |
# | |
# Fix TTY job-control | |
# | |
# source: Internet | |
# | |
# Let's try this: | |
exec </dev/tty1 >/dev/tty1 2>&1 | |
# No, doesn't work: even if opening /dev/tty1 gave sh the ctty, |
This file contains hidden or 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 -euf | |
tempfile=`tempfile` | |
trap "rm $tempfile" EXIT | |
inotail -n 0 -f /var/log/syslog.log | | |
sed -rn ' | |
/tinc\.retiolum/!b | |
/.*: Subnet list:$/,/.*: End of subnet list\.$/{ |
This file contains hidden or 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
// Temporary publish() to queue up messages until connection to Genericore | |
// is ready. | |
var publish_queue = []; | |
var publish_enqueue = function (message) { | |
publish_queue.push(message); | |
log('enqueue: ' + publish_queue.length); | |
}; | |
var publish = publish_enqueue; | |
NewerOlder