aboutsummaryrefslogtreecommitdiff
path: root/dev
diff options
context:
space:
mode:
authorJoris2017-01-16 21:21:09 +0000
committerJoris2017-01-16 21:21:09 +0000
commite9e235a10cabc20ceaf110420d4618e83e425631 (patch)
tree8c91378f10dfe57db874abd9925d9d5c3fb49031 /dev
parentf2264cf9176a7807a7993872cc1c2c437617c0b2 (diff)
parent0b84c5a2e11179fc15d9a9fd6b9da0f257530539 (diff)
Merge branch 'add-books' into 'master'
Add more books See merge request !1
Diffstat (limited to 'dev')
-rwxr-xr-xdev2
1 files changed, 1 insertions, 1 deletions
diff --git a/dev b/dev
index ddd2ada..d268ec2 100755
--- a/dev
+++ b/dev
@@ -1,2 +1,2 @@
#!/bin/sh
-nix-shell --command "tmuxinator local"
+nix-shell --command "SHELL=$SHELL tmuxinator local"