diff options
| author | Willy Sudiarto Raharjo <willysr@slackware-id.org> | 2013-04-25 20:31:16 -0300 |
|---|---|---|
| committer | Niels Horn <niels.horn@slackbuilds.org> | 2013-04-25 20:31:16 -0300 |
| commit | 6aca435c65bc09fc30bc5d3fdd4945e31885526a (patch) | |
| tree | ee446d02ccd47f9896eb73ab35845d4071039187 /development/mysql-workbench-gpl/config_and_ifconfig_paths.patch | |
| parent | 12f3f7987768bd741eff00f6ec07222903bdb64e (diff) | |
| download | slackbuilds-6aca435c65bc09fc30bc5d3fdd4945e31885526a.tar.gz | |
development/mysql-workbench-gpl: Updated for version 5.2.47.
Signed-off-by: Niels Horn <niels.horn@slackbuilds.org>
Diffstat (limited to 'development/mysql-workbench-gpl/config_and_ifconfig_paths.patch')
| -rw-r--r-- | development/mysql-workbench-gpl/config_and_ifconfig_paths.patch | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/development/mysql-workbench-gpl/config_and_ifconfig_paths.patch b/development/mysql-workbench-gpl/config_and_ifconfig_paths.patch new file mode 100644 index 0000000000..fbeac75803 --- /dev/null +++ b/development/mysql-workbench-gpl/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'): |