commit 79d59f713d41b68e75572497794b9338fe37f0b4 parent 205f0a0d5954e50a7b5dec75e505ad0c9bbe8e42 Author: Ed van Bruggen <edvb54@gmail.com> Date: Sat, 11 Oct 2014 11:10:42 -0700 Bin: Update terminal script Diffstat:
| bin/terminal | | | 4 | ++-- |
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/bin/terminal b/bin/terminal @@ -1,7 +1,7 @@ #!/bin/sh -# terminal='terminator' -terminal='gnome-terminal' +terminal='terminator' +# terminal='gnome-terminal' exec $terminal $@