diff options
author | Gregor Kleen <gkleen@yggdrasil.li> | 2019-06-07 10:32:33 +0200 |
---|---|---|
committer | Gregor Kleen <gkleen@yggdrasil.li> | 2019-06-07 10:32:33 +0200 |
commit | c5bb080ff0e8afed5a71558b8cc82785789308ba (patch) | |
tree | 300bdbaae1ffafee11cf799bf58e63e3f22edc58 | |
parent | 24f64aafe8b05054e307d90564104f1c2d467524 (diff) | |
download | incremental-dfsts-c5bb080ff0e8afed5a71558b8cc82785789308ba.tar incremental-dfsts-c5bb080ff0e8afed5a71558b8cc82785789308ba.tar.gz incremental-dfsts-c5bb080ff0e8afed5a71558b8cc82785789308ba.tar.bz2 incremental-dfsts-c5bb080ff0e8afed5a71558b8cc82785789308ba.tar.xz incremental-dfsts-c5bb080ff0e8afed5a71558b8cc82785789308ba.zip |
Cleanup
-rw-r--r-- | .gitignore | 2 | ||||
-rwxr-xr-x | json-demo.sh | 3 | ||||
-rw-r--r-- | screenshot.png | bin | 0 -> 262876 bytes | |||
-rwxr-xr-x | terminal.sh | 3 | ||||
l--------- | usb/edit-lens | 1 | ||||
l--------- | usb/interactive-edit-lens | 1 | ||||
l--------- | usb/stack.nix | 1 | ||||
l--------- | usb/stack.yaml | 1 |
8 files changed, 12 insertions, 0 deletions
@@ -9,3 +9,5 @@ literature.pdf | |||
9 | **.prof | 9 | **.prof |
10 | **.prof.* | 10 | **.prof.* |
11 | examples | 11 | examples |
12 | /presentation.169.pdf | ||
13 | /presentation.169.pdfpc | ||
diff --git a/json-demo.sh b/json-demo.sh new file mode 100755 index 0000000..5ef5e0a --- /dev/null +++ b/json-demo.sh | |||
@@ -0,0 +1,3 @@ | |||
1 | #!/usr/bin/env bash | ||
2 | |||
3 | exec -- ./terminal.sh -e stack exec interact json-newl | ||
diff --git a/screenshot.png b/screenshot.png new file mode 100644 index 0000000..86ce746 --- /dev/null +++ b/screenshot.png | |||
Binary files differ | |||
diff --git a/terminal.sh b/terminal.sh new file mode 100755 index 0000000..061d5a2 --- /dev/null +++ b/terminal.sh | |||
@@ -0,0 +1,3 @@ | |||
1 | #!/usr/bin/env bash | ||
2 | |||
3 | exec -- urxvt -name presentation -bg white -fg black -fn "xft:DejaVuSansMono Nerd Font:pixelsize=30:style=Book" $@ | ||
diff --git a/usb/edit-lens b/usb/edit-lens new file mode 120000 index 0000000..2f0ee77 --- /dev/null +++ b/usb/edit-lens | |||
@@ -0,0 +1 @@ | |||
../edit-lens \ No newline at end of file | |||
diff --git a/usb/interactive-edit-lens b/usb/interactive-edit-lens new file mode 120000 index 0000000..4f2c064 --- /dev/null +++ b/usb/interactive-edit-lens | |||
@@ -0,0 +1 @@ | |||
../interactive-edit-lens \ No newline at end of file | |||
diff --git a/usb/stack.nix b/usb/stack.nix new file mode 120000 index 0000000..300216a --- /dev/null +++ b/usb/stack.nix | |||
@@ -0,0 +1 @@ | |||
../stack.nix \ No newline at end of file | |||
diff --git a/usb/stack.yaml b/usb/stack.yaml new file mode 120000 index 0000000..5dd555d --- /dev/null +++ b/usb/stack.yaml | |||
@@ -0,0 +1 @@ | |||
../stack.yaml \ No newline at end of file | |||