Gedit Developer Plugins

  1. Bug #1241849
  2. Comment #5

Comment 5 for bug 1241849

Revision history for this message
Curtis Hovey (sinzui) wrote :

Thank you Francis. I honestly don't know what is wrong. This is certainly a packaging issue. I will strive to fix this in the next few days.

The immediate workaround maybe to copy the pocketlint directory (/usr/share/pyshared/pocketlint) to a subdir in you home dir. then adding that dir to PYTHONPATH.