Quando eu comecei a usar o kile em willy (15.10), eu comecei diretamente com
'kile live preview' depois de atualizar para Artful quando eu quero instalá-lo com:
sudo add-apt-repository -y ppa:kile/livepreview
sudo apt-get update
Eu recebi a mensagem:
Err:22 http://ppa.launchpad.net/kile/livepreview/ubuntu artful Release
404 Not Found
Eu altero em /etc/apt/sources.list.d/kile-ubuntu-livepreview-artful.list para usar repo zesty deb http://ppa.launchpad.net/kile/livepreview/ubuntu zesty main
executar:
sudo apt-get update && sudo apt-get install kile
Eu tenho kile live preview instalado, mas quando eu corro, ele trava, se eu correr do terminal eu tenho:
kile(31690)/kdecore (KLibrary) findLibraryInternal: plugins should not have a 'lib' prefix: "libkonsolepart.so" KCrash: Application 'kile' crashing... KCrash: Attempting to start /usr/lib/kde4/libexec/drkonqi from kdeinit KCrash: Connect sock_file=/home/me/.kde/socket-dell8/kdeinit4__0
(kile:31690): GLib-GIO-ERROR **: inotify read(): Bad file descriptor Trace/breakpoint trap
Existe algo que eu possa fazer para corrigir isso?
A versão do Kile em livepreview está bastante desatualizada. Tente baixar a versão mais recente em Debian Sid (instável) - amd64
wget http://ftp.us.debian.org/debian/pool/main/k/kile/kile_2.9.91-4_amd64.deb
sudo apt install ./kile_2.9.91-4_amd64.deb
Embora a versão diga que 2.9 é realmente 3.0beta1 . O Kile não requer a atualização de nenhuma dependência, ele funciona bem no Ubuntu 17.10.
Alternativamente, você pode construir o Kile a partir do código-fonte .