summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGregor Kleen <gkleen@yggdrasil.li>2019-06-07 10:32:33 +0200
committerGregor Kleen <gkleen@yggdrasil.li>2019-06-07 10:32:33 +0200
commitc5bb080ff0e8afed5a71558b8cc82785789308ba (patch)
tree300bdbaae1ffafee11cf799bf58e63e3f22edc58
parent24f64aafe8b05054e307d90564104f1c2d467524 (diff)
downloadincremental-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--.gitignore2
-rwxr-xr-xjson-demo.sh3
-rw-r--r--screenshot.pngbin0 -> 262876 bytes
-rwxr-xr-xterminal.sh3
l---------usb/edit-lens1
l---------usb/interactive-edit-lens1
l---------usb/stack.nix1
l---------usb/stack.yaml1
8 files changed, 12 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index bf8d48a..412defe 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,3 +9,5 @@ literature.pdf
9**.prof 9**.prof
10**.prof.* 10**.prof.*
11examples 11examples
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
3exec -- ./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
3exec -- 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