Skip to content

Instantly share code, notes, and snippets.

@davidhavard

davidhavard/mysql-workbench-export-fix-on-arch.sh

Created July 26, 2017 09:21
Show Gist options
  • Save davidhavard/ba4a14e4a5fb4bd0ce155648993ba590 to your computer and use it in GitHub Desktop.
Save davidhavard/ba4a14e4a5fb4bd0ce155648993ba590 to your computer and use it in GitHub Desktop.
Download ZIP

Revisions

  1. davidhavard created this gist Jul 26, 2017.
    2 changes: 2 additions & 0 deletions mysql-workbench-export-fix-on-arch.sh
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,2 @@
    # Comment out the section that sets the problem flag
    sed -e '/Sets the compatibility parameters if needed/,+2 s/^#*/#/' -i /usr/lib/mysql-workbench/modules/wb_admin_export.py