From 90ae11587a6ff86abd735a01a5a043eb4d3fddd5 Mon Sep 17 00:00:00 2001 From: Simon Hartcher Date: Tue, 31 Jan 2017 17:15:30 +1100 Subject: [PATCH] Add mysql-workbench Not everyone needs the entire mysql-server (140MB), and may only need the mysql client (27MB). --- mysql-workbench.json | 41 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) create mode 100644 mysql-workbench.json diff --git a/mysql-workbench.json b/mysql-workbench.json new file mode 100644 index 0000000000..359a3831ca --- /dev/null +++ b/mysql-workbench.json @@ -0,0 +1,41 @@ +{ + "version": "6.3.8", + "license": "GPL", + "homepage": "https://dev.mysql.com/downloads/workbench/", + "architecture": { + "32bit": { + "url": "http://mysql.mirror.ac.za/Downloads/MySQLGUITools/mysql-workbench-community-6.3.8-win32-noinstall.zip", + "hash": "md5:e1146205cf24df254be204e95d989710", + "extract_dir": "MySQL Workbench 6.3.8 CE (win32)" + }, + "64bit": { + "url": "http://mysql.mirror.ac.za/Downloads/MySQLGUITools/mysql-workbench-community-6.3.8-winx64-noinstall.zip", + "hash": "md5:f36309fb46a06b920a50fe3c91a798ab", + "extract_dir": "MySQL Workbench 6.3.8 CE (winx64)" + } + }, + "checkver": "MySQL Workbench ([\\d.]+)", + "autoupdate": { + "architecture": { + "32bit": { + "url": "http://mysql.mirror.ac.za/Downloads/MySQLGUITools/mysql-workbench-community-$version-win32-noinstall.zip", + "extract_dir": "MySQL Workbench $version CE (win32)" + }, + "64bit": { + "url": "http://mysql.mirror.ac.za/Downloads/MySQLGUITools/mysql-workbench-community-$version-winx64-noinstall.zip", + "extract_dir": "MySQL Workbench $version CE (winx64)" + } + }, + "hash": { + "mode": "extract", + "url": "$url.md5", + "type": "md5", + "find": "([a-z0-9]{32})\\s+(?:$basename)" + } + }, + "bin": [ + "MySQLWorkbench.exe", + "mysql.exe", + "mysqldump.exe" + ] +}