add version to ace/ace

ajaxorg · Oct 28, 2015 · 3087353 · 3087353
1 parent 34380fb
commit 3087353
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 3 deletions.
diff --git a/lib/ace/ace.js b/lib/ace/ace.js
@@ -126,4 +126,5 @@ exports.createEditSession = function(text, mode) {
 }
 exports.EditSession = EditSession;
 exports.UndoManager = UndoManager;
+exports.version = "1.2.1";
 });
diff --git a/lib/ace/ext/menu_tools/generate_settings_menu.js b/lib/ace/ext/menu_tools/generate_settings_menu.js
@@ -93,7 +93,7 @@ module.exports.generateSettingsMenu = function generateSettingsMenu (editor) {
         });
 
         var el = topmenu.appendChild(document.createElement('div'));
-        var version = "1.2.1";
+        var version = require("../../ace").version;
         el.style.padding = "1em";
         el.textContent = "Ace version " + version;
 

diff --git a/tool/release.sh b/tool/release.sh
@@ -19,7 +19,10 @@ SOURCE=`pwd`
 CUR_VERSION=`node -e 'console.log(require("./package.json").version)'`
 git --no-pager log --first-parent --oneline v$CUR_VERSION..master
 echo "current version is $CUR_VERSION"
-read -p "enter version number for the build " VERSION_NUM
+VERSION_NUM=;
+until [[ "$VERSION_NUM" =~ ^[0-9]+\.[0-9]+\.[0-9]+$ ]] ; do
+    read -p "enter version number for the build " VERSION_NUM
+done
 
 node -e "
     var fs = require('fs');
@@ -36,7 +39,7 @@ node -e "
     }
     update('package.json');
     update('build/package.json');
-    update('./lib/ace/ext/menu_tools/generate_settings_menu.js');
+    update('./lib/ace/ace.js');
     update('ChangeLog.txt', function(str) {
         var date='"`date +%Y.%m.%d`"';
         return date + ' Version ' + version + '\n' + str.replace(/^\d+.*/, '').replace(/^\n/, '');