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
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/gui//start-Quint-Ubuntu.sh	Fri Apr 08 11:04:47 2011 +0200
@@ -0,0 +1,1 @@
+export LD_LIBRARY_PATH=/usr/lib/octave-3.2.4/:$LD_LIBRARY_PATH && bin/Quint