Ticket #4257: 4257.patch
File 4257.patch, 2.4 KB (added by , 15 years ago) |
---|
-
_dev/langtool/langtool.sh
1 #!/ bin/bash1 #!/usr/bin/env bash 2 2 3 3 # Copyright (c) 2003-2009, CKSource - Frederico Knabben. All rights reserved. 4 4 # For licensing, see LICENSE.html or http://ckeditor.com/license 5 5 6 6 # Checks translation files in given directory. 7 7 8 if [ -L $0 ] ; then 9 DIR=$(dirname $(readlink -f $0)) ; 10 else 11 DIR=$(dirname $0) ; 12 fi ; 13 14 pushd $DIR 8 15 java -jar langtool/langtool.jar ../../_source/lang 16 popd -
_dev/releaser/release.sh
1 #!/ bin/bash1 #!/usr/bin/env bash 2 2 3 3 # Copyright (c) 2003-2009, Frederico Caldeira Knabben. All rights reserved. 4 4 # For licensing, see LICENSE.html or http://ckeditor.com/license 5 5 6 if [ -L $0 ] ; then 7 DIR=$(dirname $(readlink -f $0)) ; 8 else 9 DIR=$(dirname $0) ; 10 fi ; 11 12 pushd $DIR 6 13 java -jar ckreleaser/ckreleaser.jar ckreleaser.release ../.. release "3.0 SVN" ckeditor_3.0_svn 14 popd -
_dev/jslint/lint.sh
1 #!/usr/bin/env bash 2 1 3 # 2 4 # Copyright (c) 2003-2009, CKSource - Frederico Knabben. All rights reserved. 3 5 # For licensing, see LICENSE.html or http://ckeditor.com/license … … 7 9 # otherwise it simply outputs it. 8 10 # 9 11 12 if [ -L $0 ] ; then 13 DIR=$(dirname $(readlink -f $0)) ; 14 else 15 DIR=$(dirname $0) ; 16 fi ; 17 18 pushd $DIR 10 19 if [ "$1" = "" ] 11 20 then 12 21 ../_thirdparty/jsl/jsl -conf lint.conf -nofilelisting -nologo … … 16 25 echo 17 26 echo Process completed. 18 27 fi 28 popd -
_dev/packager/package.sh
1 #!/ bin/bash1 #!/usr/bin/env bash 2 2 3 3 # Copyright (c) 2003-2009, CKSource - Frederico Knabben. All rights reserved. 4 4 # For licensing, see LICENSE.html or http://ckeditor.com/license 5 5 6 if [ -L $0 ] ; then 7 DIR=$(dirname $(readlink -f $0)) ; 8 else 9 DIR=$(dirname $0) ; 10 fi ; 11 12 pushd $DIR 6 13 java -jar ckpackager/ckpackager.jar ../../ckeditor.pack 14 popd