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 18-11-2008 22:02:02

Percevalium
Membre
Lieu : Annecy (74)
Distrib. : Lenny
Noyau : 2.6.26
(G)UI : Gnome
Inscription : 15-11-2008
Site Web

Problème d'installation du client VPN Cisco Systems

Bonsoir,

Pour me connecter au réseau wifi de l'université j'ai besoin d'utiliser un client VPN, une procédure est indiquée mais celà échoue à la dernière étape.

Voici une capture d'écran de la console.
captureterminalwf6.png

Bonne soirée.

Dernière modification par Percevalium (18-11-2008 22:03:19)

Hors ligne

#2 18-11-2008 22:04:41

palmito
Administrateur
Lieu : Dans la boite de gâteau!
Distrib. : bah....
Noyau : heu...
(G)UI : gné?
Inscription : 28-05-2007

Re : Problème d'installation du client VPN Cisco Systems

Bonsoir

As tu les sources de ton kernel d'installé?

Hors ligne

#3 18-11-2008 22:09:46

Percevalium
Membre
Lieu : Annecy (74)
Distrib. : Lenny
Noyau : 2.6.26
(G)UI : Gnome
Inscription : 15-11-2008
Site Web

Re : Problème d'installation du client VPN Cisco Systems

palmito a écrit :

Bonsoir

As tu les sources de ton kernel d'installé?


Bonsoir,

Dans le dossier /lib/modules/2.6.26-1-686/kernel

Il y a les dossiers arch, crypto, drivers, fs, lib, net et sound. Est-ce celà ?

Hors ligne

#4 18-11-2008 23:21:03

anonyme
Invité

Re : Problème d'installation du client VPN Cisco Systems

Bonsoir Percevalium,

L'arborescence /lib/modules/ contient les modules compilés correspondant au(x) noyau(x) installés.

Pour obtenir les sources il faut ajouter un dépôt de sources si tu n'en as pas déjà un dans ton /etc/apt/sources/list. Tu devrais pouvoir trouver la ligne qu'il te faut en regardant dans le fil des sources.list.

Ensuite mettre à jour (update) avec ton gestionnaire de paquets habituels, et une recherche dans les paquets avec "kernel-sources" devrait t'indiquer la solution. smile

@+

edit: (j'ai répondu un peu trop vite), il faut chercher "linux-source" et non kernel-source.
Un dépot de source:

deb-src http://ftp.fr.debian.org/debian/ etch main


à copier dans le /etc/apt/sources.list.

Pied de page des forums