Playframework: как насчет фрагментов Gedit и внешних инструментов?

Question

Я пользователь Ubuntu, и Gedit - мой любимый редактор.Eclipse - мой предпочтительный редактор для проекта Java, но в конкретном случае среды разработки, ориентированной на Java, я предпочитаю использовать легкий редактор, такой как gedit.

Так что вопрос: есть ли планпредоставить какой-нибудь плагин / фрагменты gedit для playframework?

Answer 1

С помощью скрипта можно преобразовать URL-адрес воспроизведения в строку командной строки, совместимую с gedit.

Я сделал небольшой скрипт с именем «textmate», который выполняет преобразование (я думаю, что есть лучший способ сделать это, но я не мастер grep):

#!/bin/bash
URL=$1
FILE=`echo $URL | grep -o -E 'file(.*?)line=(.*)' | cut -d':' -f 2 | cut -d'&' -f 1`
LINE=`echo $URL | grep -o -E 'file(.*?)line=(.*)' | cut -d'=' -f 2`
gedit +$LINE $FILE &

В Firefox вы можете связать этот скрипт с протоколом txmt, как описано здесь http://kb.mozillazine.org/Register_protocol#Firefox_3.5_and_above

Answer 2

Конечно, в следующей версии релиза, похоже, не планируется выпуск спецификаций GEdit для фреймворка.Я думаю, что пакет TextMate был добавлен, поскольку это была среда разработки, которую Гийом использует при создании своих приложений Play для клиентов, поэтому имеет смысл ускорить его разработку.

Нет причин, по которым эту функциональность нельзя было создатьза пределами ядра ядра Play, в качестве модуля или плагина.

Что касается вопроса Нильса о gedit: // myfile: 3, похоже, что GEdit поддерживает открытие файла с определенным номером строки, но яНе удалось найти способ открыть GEdit с зарегистрированного URL (снова как TextMate).Это должно быть возможно, однако я не достаточно сильный разработчик Linux, чтобы это знать, но это просто случай сопоставления URL в таком формате, как

gedit://open?url=file://%s&line=%s

, с командой linux

gedit +<line> <file>