Sim, phplint. Você pode obtê-lo de:
Link direto link
Para instalar um desses plugins, você precisa baixar os arquivos e colocá-los em seu diretório ~ / .local / share / gedit / plugins / (que talvez precise ser criado). Eles precisam estar nesse diretório exato; os subdiretórios não são verificados quanto a plug-ins.
então ..
mkdir -p ~/.local/share/gedit/plugins/
Depois, no segundo link que dei a você, clique no botão "Fazer download do Zip" à esquerda e descompacte o arquivo em ~/.local/share/gedit/plugins/