logo Debian Debian Debian-France Debian-Facile Debian-fr.org Forum-Debian.fr Debian ? Communautés logo inclusivité

Debian-facile

Bienvenue sur Debian-Facile, site d'aide pour les nouveaux utilisateurs de Debian.

Vous n'êtes pas identifié(e).

#1 30-03-2014 17:03:52

Invité-5
Banni(e)

[résolu] wiki - pinning

Si par hasard vous voyez cet tutoriel je vous déconseille le copier/coller

    Package: *
    Pin: release a=stable
    Pin-Priority: 900
     
    Package: *
    Pin: release a=stable-updates
    Pin-Priority: 900
     
    Package: *
    Pin: release a=proposed-updates
    Pin-Priority: 900
     
    Package: *
    Pin: release o=Debian
    Pin-Priority: -10

 

Après il va falloir rapprocher toutes les lignes a extrême gauche sinon apt ne prendra pas en compte.

Dernière modification par Invité-5 (14-07-2014 15:03:53)

#2 30-03-2014 17:13:36

paskal
autobahn
Lieu : ailleurs
Inscription : 14-06-2011
Site Web

Re : [résolu] wiki - pinning

@darien: tu cliques sur l'onglet, tu n'auras pas les indentations smile

I'd love to change the world
But I don't know what to do
So I'll leave it up to you...

logo-sur-fond.png

Hors ligne

#3 30-03-2014 17:18:01

captnfab
Admin-Girafe
Lieu : /dev/random
Distrib. : Debian
Noyau : Dur
(G)UI : gui gui, je zuis un doiseau
Inscription : 07-07-2008
Site Web

Re : [résolu] wiki - pinning

@darien: c'est juste. C'est malheureusement inhérent à geshi (qui s'occupe de la coloration syntaxique) et rajoute parfois des espaces à gauche (quand on précise de fichier en fait).

Et je confirme qu'il faut utiliser <code apt_preferences fichier> plutôt que <code root fichier>

captnfab,
Association Debian-Facile, bépo.
TheDoctor: Your wish is my command… But be careful what you wish for.

Hors ligne

#4 30-03-2014 17:20:39

paskal
autobahn
Lieu : ailleurs
Inscription : 14-06-2011
Site Web

Re : [résolu] wiki - pinning

captnfab a écrit :

Et je confirme qu'il faut utiliser <code apt_preferences fichier> plutôt que <code root fichier>

Il n'y en a point, dans celui-ci.  smile


I'd love to change the world
But I don't know what to do
So I'll leave it up to you...

logo-sur-fond.png

Hors ligne

#5 30-03-2014 17:22:12

captnfab
Admin-Girafe
Lieu : /dev/random
Distrib. : Debian
Noyau : Dur
(G)UI : gui gui, je zuis un doiseau
Inscription : 07-07-2008
Site Web

Re : [résolu] wiki - pinning

Oui oui, je profitais juste de l'occasion pour écrire quelque part sur le forum que «apt_preferences» était un langage reconnu par le forum et le wiki. smile Il en va de même pour «apt_sources».

captnfab,
Association Debian-Facile, bépo.
TheDoctor: Your wish is my command… But be careful what you wish for.

Hors ligne

#6 30-03-2014 17:23:00

paskal
autobahn
Lieu : ailleurs
Inscription : 14-06-2011
Site Web

Re : [résolu] wiki - pinning

smile

I'd love to change the world
But I don't know what to do
So I'll leave it up to you...

logo-sur-fond.png

Hors ligne

#7 30-03-2014 17:26:56

Invité-5
Banni(e)

Re : [résolu] wiki - pinning

pascal; un jour j'avais eu "l'occasion" de réécrire ce tuto (on a changé après) automatiquement comme ma mauvaise habitude j'eus fait copier/coller et me suis aperçu tout de suite de l'erreur.

Mets toi à la place d'un débutant.

#8 30-03-2014 17:48:54

smolski
quasi...modo
Lieu : AIN
Distrib. : backports (buster) 10
Noyau : Linux 4.19.0-8-amd64
(G)UI : gnome
Inscription : 21-10-2008

Re : [résolu] wiki - pinning

Il est probable qu'un débutant va survoler l'entête et trouver illico la supercherie. Télécharger un extrait.
Ta remarque fait quand même remonter que la formulation appliquée n'est pas sans ambiguïté. On devrait peut-être indiquer : Télécharger cet extrait roll
De plus, le copie/colle n'étant pas semblable dans l'alignement au tuto originel, il va y prêter garde davantage qu'un habitué, non ?

saque eud dun (patois chtimi : fonce dedans)

Hors ligne

#9 30-03-2014 17:52:20

captnfab
Admin-Girafe
Lieu : /dev/random
Distrib. : Debian
Noyau : Dur
(G)UI : gui gui, je zuis un doiseau
Inscription : 07-07-2008
Site Web

Re : [résolu] wiki - pinning

Bon, j'ai patché le wiki pour qu'il n'y ait plus les espaces lors du copier/coller du bloc complet.

captnfab,
Association Debian-Facile, bépo.
TheDoctor: Your wish is my command… But be careful what you wish for.

Hors ligne

#10 30-03-2014 17:53:02

paskal
autobahn
Lieu : ailleurs
Inscription : 14-06-2011
Site Web

Re : [résolu] wiki - pinning

cool

@smolski: avec l'inertie d'affichage de la bulle, ce n'est pas joué.

I'd love to change the world
But I don't know what to do
So I'll leave it up to you...

logo-sur-fond.png

Hors ligne

#11 30-03-2014 17:59:30

captnfab
Admin-Girafe
Lieu : /dev/random
Distrib. : Debian
Noyau : Dur
(G)UI : gui gui, je zuis un doiseau
Inscription : 07-07-2008
Site Web

Re : [résolu] wiki - pinning

J'ai également modifié le "un" en "cet" smile

captnfab,
Association Debian-Facile, bépo.
TheDoctor: Your wish is my command… But be careful what you wish for.

Hors ligne

#12 30-03-2014 18:08:46

smolski
quasi...modo
Lieu : AIN
Distrib. : backports (buster) 10
Noyau : Linux 4.19.0-8-amd64
(G)UI : gnome
Inscription : 21-10-2008

Re : [résolu] wiki - pinning

Ça c'est de la bonne voiilure, merci captnfab ! big_smile

paskal, un débutant qui débute adopte un comportement un peu plus circonspect devant une nouveauté qu'un chevronné. smile

saque eud dun (patois chtimi : fonce dedans)

Hors ligne

#13 30-03-2014 18:45:22

paskal
autobahn
Lieu : ailleurs
Inscription : 14-06-2011
Site Web

Re : [résolu] wiki - pinning

smolski a écrit :

paskal, un débutant qui débute adopte un comportement un peu plus circonspect devant une nouveauté qu'un chevronné. smile

C'est plutôt aléatoire, c'histoire : il survole l'onglet ou pas, il passe suffisament de temps pour afficher l'info-bulle...


I'd love to change the world
But I don't know what to do
So I'll leave it up to you...

logo-sur-fond.png

Hors ligne

#14 30-03-2014 18:48:38

Invité-5
Banni(e)

Re : [résolu] wiki - pinning

Vous voyez, comme vous voulez.

Merci pour eux, on rigole, on rigole mais c’était sérieux.

En plus, j'appellerais mon poste comme un avertissement plutôt qu'un reproche.

#15 30-03-2014 18:57:41

captnfab
Admin-Girafe
Lieu : /dev/random
Distrib. : Debian
Noyau : Dur
(G)UI : gui gui, je zuis un doiseau
Inscription : 07-07-2008
Site Web

Re : [résolu] wiki - pinning

@darien: normalement le pb au copier/coller est résolu, tu confirmes ?

captnfab,
Association Debian-Facile, bépo.
TheDoctor: Your wish is my command… But be careful what you wish for.

Hors ligne

#16 30-03-2014 19:11:10

Invité-5
Banni(e)

Re : [résolu] wiki - pinning

Je confirme à voix haute smile

P.S. La voix du peuple à écrasé la gauche neutral

#17 10-07-2014 13:05:34

Invité-5
Banni(e)

Re : [résolu] wiki - pinning

Hmm, il ne faut plus copier/coller. sad

Dernière modification par Invité-5 (10-07-2014 17:05:44)

#18 10-07-2014 13:09:01

captnfab
Admin-Girafe
Lieu : /dev/random
Distrib. : Debian
Noyau : Dur
(G)UI : gui gui, je zuis un doiseau
Inscription : 07-07-2008
Site Web

Re : [résolu] wiki - pinning

Ah, zut, sans doute depuis la màj du wiki… Grrr…

captnfab,
Association Debian-Facile, bépo.
TheDoctor: Your wish is my command… But be careful what you wish for.

Hors ligne

#19 10-07-2014 13:15:28

Invité-5
Banni(e)

Re : [résolu] wiki - pinning

Si c'est un gros taf, je peux t'aider.

#20 10-07-2014 15:38:56

captnfab
Admin-Girafe
Lieu : /dev/random
Distrib. : Debian
Noyau : Dur
(G)UI : gui gui, je zuis un doiseau
Inscription : 07-07-2008
Site Web

Re : [résolu] wiki - pinning

Merci smile Ce n'est pas un gros taf, il faut simplement que je retrouve dans les logs git quel fichier modifier et comment smile

captnfab,
Association Debian-Facile, bépo.
TheDoctor: Your wish is my command… But be careful what you wish for.

Hors ligne

#21 14-07-2014 11:58:27

captnfab
Admin-Girafe
Lieu : /dev/random
Distrib. : Debian
Noyau : Dur
(G)UI : gui gui, je zuis un doiseau
Inscription : 07-07-2008
Site Web

Re : [résolu] wiki - pinning

@darien : c'est corrigé. Pour info (pour la prochaine fois), le changement à faire est simple, il suffit d'insérer le « code » dans un tableau.

captnfab,
Association Debian-Facile, bépo.
TheDoctor: Your wish is my command… But be careful what you wish for.

Hors ligne

#22 14-07-2014 15:08:50

Invité-5
Banni(e)

Re : [résolu] wiki - pinning

o.k.   big_smile

#23 15-07-2014 09:08:29

Invité-5
Banni(e)

Re : [résolu] wiki - pinning

P.S. Merci infiniment pour ton effort, en fait, j'avais proposé copier/coller a certains pour leurs éviter de taper manuellement et en faisant confiance à ton poste#15.

J'aurais dû m'en douter que avec màj du wiki ce mois-ci il peut y avoir une fausse note, mea culpa. smile

#24 15-07-2014 09:54:19

captnfab
Admin-Girafe
Lieu : /dev/random
Distrib. : Debian
Noyau : Dur
(G)UI : gui gui, je zuis un doiseau
Inscription : 07-07-2008
Site Web

Re : [résolu] wiki - pinning

Nan mais tu as raison, c'est le comportement attendu qu'un copier/coller ne bousille pas tout. Tu as bien fait de reporter le pb. smile

captnfab,
Association Debian-Facile, bépo.
TheDoctor: Your wish is my command… But be careful what you wish for.

Hors ligne

Pied de page des forums