Sous Windows je suis un adepte de PuTTY pour me connecter en SSH à des
serveurs. Sous Linux (Kubuntu), je passe par konsole > ssh
monServeur.org, mais il y a un truc que je trouve moins pratique : on ne
peut pas copier du texte simplement en le sélectionnant avec la souris,
et le coller avec un clic droit ... comme dans PuTTY sous M$.
Est ce que qqun aurait une astuce là dessus ? Perso j'ai cherché dans
les options de config de Konsole mais sans succès :'(
Euh, non, le #override s'applique à la ressource entière et doit se trouver au début. Tiens, d'ailleurs, d'après la spec, on est censé mettre un n après.
Luc Habert wrote in message <f1sc6j$1ovq$1@nef.ens.fr>:
Euh, non, le #override s'applique à la ressource entière et doit se trouver
au début. Tiens, d'ailleurs, d'après la spec, on est censé mettre un n
après.
Euh, non, le #override s'applique à la ressource entière et doit se trouver au début. Tiens, d'ailleurs, d'après la spec, on est censé mettre un n après.
