changeset 13376:4831a6a620ff

Added start script for Ubuntu.
author Jacob Dawid <jacob.dawid@googlemail.com>
date Fri, 08 Apr 2011 11:04:47 +0200
parents c4c978dcd7f2
children 8c0d7a1d8e29
files gui//start-Quint-Ubuntu.sh
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
new file mode 100755
--- /dev/null
+++ b/gui//start-Quint-Ubuntu.sh
@@ -0,0 +1,1 @@
+export LD_LIBRARY_PATH=/usr/lib/octave-3.2.4/:$LD_LIBRARY_PATH && bin/Quint