Ajouter une source de dépot[Résolu]

Bonjour,
Je voudrais installer l’éditeur jEdit (parce que je l’aime bien) que j’utilise pour créer mes partitions Lilypond. Pendant longtemps j’ai travaillé sur des brouettes informatiques et ai pris l’habitude de ne pas utiliser des logiciels wysywyg.
Apparement je n’ai pas les bon dépots , j’ai fait le “apt-update” des dépots et je ne peux toujours pas installer jEdit.
apparement d’apres le site de jedit il est possible d’installer dans le fichier “source.list” leur adresse et d’installer jedit comme cela.

Gentoo Linux users can install jEdit from the portage tree by running emerge jedit.
To install jEdit via Debian Linux apt-get (this is also for any Debian based Distros like Ubuntu), add the following line to your /etc/apt/sources.list:

deb http://.dl.sourceforge.net/project/jedit /

e. g.

deb http://switch.dl.sourceforge.net/project/jedit /

Then, just run apt-get update, followed by apt-get install jedit.

The repository is now also secured and signed. To verify the packages you have to install the public key with which the repository is signed. This can be done by invoking apt-key adv --keyserver keyserver.ubuntu.com --recv-keys E6A233DBE3AFBEFC

If you prefer manual installation of .deb files you can also download the Debian package manually.

quand je met cette adresse dans le fichier source.list il y a une erreur quelqu’un peut il mi dure ou ce trouve cette erreur ? voici le contenu du fichier:

# 

# deb cdrom:[Debian GNU/Linux 9.2.0 _Stretch_ - Official amd64 NETINST 20171007-12:09]/ stretch main

# deb cdrom:[Debian GNU/Linux 9.2.0 _Stretch_ - Official amd64 NETINST 20171007-12:09]/ stretch main

deb http://ftp.fr.debian.org/debian/ stretch main non-free contrib
deb-src http://ftp.fr.debian.org/debian/ stretch main non-free contrib

deb http://security.debian.org/debian-security stretch/updates main non-free contrib
deb-src http://security.debian.org/debian-security stretch/updates main non-free contrib

# stretch-updates, previously known as 'volatile'
deb http://ftp.fr.debian.org/debian/ stretch-updates main non-free contrib
deb-src http://ftp.fr.debian.org/debian/ stretch-updates main non-free contrib

# jedit
deb-src http://<mirror>.dl.sourceforge.net/project/jedit/

Salut

Les site miroirs sont en erreur sur ce projet exemple https://astuteinternet.sourceforge.io/project/jedit/

Vaut mieux telechager

https://sourceforge.net/projects/jedit/files/jedit/5.4.0/jedit_5.4.0_all.deb/download

et installer depuis ton dossier de téléchargement
sudo dpkg -i jedit_5.4.0_all.deb

merci de ta réponse.
je vais faire ca.

Bonjour judikael

Je me suis permis de modifier, dans ton message,
la présentation du bloc de texte correspondant à ton fichier sources.list

Après avoir collé un bloc de texte de ce genre dans un message du forum
mets une ligne vide avant et après le bloc de lignes collées,
ensuite, tu sélectionnes le tout (avec les lignes vides avant et après le bloc),
et tu cliques sur l’icône </>

ok merci du renseignement

Finalement j’ai trouvé l’adresse de dépôt correcte de jEdit. Elle se trouve dans le wiki de jEdit.

deb http://dl.sourceforge.net/sourceforge/jedit ./

deb-src http://dl.sourceforge.net/sourceforge/jedit ./

il suffit ensuite de faire un apt-get update puis apt-get install jedit