faça downgrade do gedit de 3.10 para 3.6

1

Estou no Ubuntu 14.04 e no gedit 3.10
Em um post anterior, perguntei por que o plugin zencoding não funcionava na minha versão do gedit.

Mas agora eu percebi que a partir desta lista para 3,8 ~ 3,10 zencoding não é oferecido: link

enquanto nesta lista de 3.0 ~ 3.6, é link

Como posso fazer downgrade da minha versão do gedit?

    
por t q 22.08.2015 / 21:09

1 resposta

2

O comando make falha no meu Ubuntu Vivid. Eu suspeito que as bibliotecas são muito novas para o Gedit 3.16. Talvez você tenha sorte com a Trusty.

  1. Faça o download da versão 3.6 mais recente de aqui

    cd; wget http://ftp.gnome.org/pub/GNOME/sources/gedit/3.6/gedit-3.6.2.tar.xz
    
  2. Instale as bibliotecas de desenvolvimento

    sudo apt-get build-dep gedit
    
  3. Extraia o arquivo

    tar xf gedit-3.6.2.tar.xz
    
  4. Configure com --prefix=/usr/local para proteger sua instalação existente

    cd gedit-3.6.2
    ./configure --prefix=/usr/local
    
  5. Construir

    make
    
  6. Se não houve erro nas etapas anteriores, instale via checkinstall e não com sudo make install , checkinstall cria e instala um pacote deb para você

    sudu apt-get install checkinstall
    sudo checkinstall
    
  7. Crie um arquivo da área de trabalho

    nano ~/.local/share/applications/gedit36.desktop
    

    Adicione as linhas abaixo

    [Desktop Entry]
    Name=Gedit
    GenericName=Text Editor
    X-GNOME-FullName=
    Comment=
    Exec=/usr/local/bin/gedit
    Icon=gedit
    Terminal=false
    Type=Application
    Categories=GNOME;
    StartupNotify=true
    X-Ubuntu-Gettext-Domain=gedit
    
por A.B. 22.08.2015 / 22:04