@@ -1,4 +1,5 @@ #!/bin/sh +set -v killall gedit @@ -26,4 +27,4 @@ if [ ! -d $HOME/.gnome2/gedit/plugins ] then mkdir -p ~/.gnome2/gedit/plugins fi -cp -R plugins/* ~/.gnome2/gedit/plugins +cp -R plugins/* ~/.gnome2/gedit/plugins/ install.sh 111da157f5cbec84ec6db864d53291f63e99944f Hongli Lai (Phusion) hongli@phusion.nl http://github.com/mig/gedit-rails/commit/58a336542327ef8c9308e66e2806a7d2a29fb50a 58a336542327ef8c9308e66e2806a7d2a29fb50a 2008-08-31T07:54:09-07:00 2008-08-31T07:54:09-07:00 Make the installer output its own commands. Fix copying of plugin files. d5587efe105f139348561d200fce248ade273869 Hongli Lai (Phusion) hongli@phusion.nl