aboutsummaryrefslogtreecommitdiff
path: root/dev
diff options
context:
space:
mode:
authorabesnard2017-01-15 22:31:00 +0100
committerabesnard2017-01-15 22:31:00 +0100
commit0b84c5a2e11179fc15d9a9fd6b9da0f257530539 (patch)
tree8c91378f10dfe57db874abd9925d9d5c3fb49031 /dev
parentf2264cf9176a7807a7993872cc1c2c437617c0b2 (diff)
Add more books
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"