diff options
| author | Willy Sudiarto Raharjo <willysr@slackware-id.org> | 2013-11-07 01:08:00 +0700 |
|---|---|---|
| committer | Robby Workman <rworkman@slackbuilds.org> | 2013-11-06 15:14:31 -0600 |
| commit | ece4d0fe75488b6157ee3316833dbdaa3e098592 (patch) | |
| tree | b160ad7c38b1a43b0cf5263e4dd4ee9be62c674a /development/mysql-workbench/config_and_ifconfig_paths.patch | |
| parent | c11601b7d2796471e6545274e72bb95ee70add64 (diff) | |
| download | slackbuilds-ece4d0fe75488b6157ee3316833dbdaa3e098592.tar.gz | |
development/mysql-workbench-gpl: Renamed to mysql-workbench and Updated for version 6.0.7
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackware-id.org>
Signed-off-by: Robby Workman <rworkman@slackbuilds.org>
Diffstat (limited to 'development/mysql-workbench/config_and_ifconfig_paths.patch')
| -rw-r--r-- | development/mysql-workbench/config_and_ifconfig_paths.patch | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/development/mysql-workbench/config_and_ifconfig_paths.patch b/development/mysql-workbench/config_and_ifconfig_paths.patch new file mode 100644 index 0000000000..fbeac75803 --- /dev/null +++ b/development/mysql-workbench/config_and_ifconfig_paths.patch @@ -0,0 +1,25 @@ +diff -Naur mysql-workbench-gpl-5.2.43-src.orig/frontend/linux/workbench/mysql-workbench.in mysql-workbench-gpl-5.2.43-src/frontend/linux/workbench/mysql-workbench.in +--- mysql-workbench-gpl-5.2.43-src.orig/frontend/linux/workbench/mysql-workbench.in 2012-09-11 17:47:07.000000000 +0200 ++++ mysql-workbench-gpl-5.2.43-src/frontend/linux/workbench/mysql-workbench.in 2013-02-28 18:24:14.217249244 +0100 +@@ -4,6 +4,9 @@ + # This will cause passwords to be stored only temporarily for the session. + #WB_NO_GNOME_KEYRING=1 + ++# create config dir (safe if it already exists) ++mkdir -p $HOME/.mysql/workbench ++ + # force disable the Mac style single menu hack in Ubuntu Unity + UBUNTU_MENUPROXY=0 + +diff -Naur mysql-workbench-gpl-5.2.43-src.orig/plugins/wb.admin/backend/wb_server_control.py mysql-workbench-gpl-5.2.43-src/plugins/wb.admin/backend/wb_server_control.py +--- mysql-workbench-gpl-5.2.43-src.orig/plugins/wb.admin/backend/wb_server_control.py 2012-09-11 17:47:17.000000000 +0200 ++++ mysql-workbench-gpl-5.2.43-src/plugins/wb.admin/backend/wb_server_control.py 2013-02-28 18:25:09.285245528 +0100 +@@ -32,7 +32,7 @@ + + #------------------------------------------------------------------------------- + def get_local_ip_list(): +- cmd = "/bin/sh -c ifconfig" ++ cmd = "/bin/sh -c /sbin/ifconfig" + regexp = "inet addr:([0-9a-f:\.]+)" + + if hasattr(sys, 'getwindowsversion'): |