Geditの最新バージョンはどこから入手できますか?現在、Ubuntuバージョン14.10に3.10.4がインストールされています。最新のgeditをダウンロードできるPPAはありますか?
これを試して:
1 .Sudo apt-add-repository ppa:suraia/ppa
その後
2 .Sudo apt-get update
その後
3 .Sudo apt-get remove gedit && Sudo apt-get install gedit
その後
4 .Sudo apt-add-repository -r ppa:suraia/ppa
then REBOOTおよび
5 .gedit -V
geditのバージョンが表示されます。
それが本当に役立つが、試してみるならidk
希望するバージョンが公式のPPAにない場合(14.04 LTSの場合、現在 gedit(3.10.4-0ubuntu4) のように見えます)、主に新しいバージョンはテスト済みで、安定とは見なされていません。
ソフトウェアの新しいバージョンを本当に試したい場合は、通常、アプリケーション自体のそれぞれのWebページから直接新しいバージョンを入手できます。 geditsのWebサイトのグーグルは、ソースパッケージのライブラリがあることを示しました。
http://ftp.gnome.org/pub/GNOME/sources/gedit/
ブリーディングエッジは3.14.2であり(要求どおり)、12月4日に公開されました。それがPPAにないのも不思議ではありません! gedit-3.14.2.tar.xz および ソースからアプリケーションをインストール をダウンロードします。
幸運を!
これは私のために働いた:
Sudo add-apt-repository ppa:gnome3-team/gnome3
Sudo apt-get remove gedit libgtksourceview-3.0-common
Sudo apt-get install gedit=3.4.1-0ubuntu1 gedit-common=3.4.1-0ubuntu1 \
libgtksourceview-3.0-0 libgtksourceview-3.0-common=3.4.1-0ubuntu1 \
gir1.2-gtksource-3.0=3.4.1-0ubuntu1
これにより、このコメントの時点でgeditの最新バージョンがインストールされました。