Portail:EnsiLinux

De Ensiwiki
(Redirigé depuis EnsiLinux)
Aller à : navigation, rechercher

NOTA BENE - ARCHIVES 2011-2012 : Cette distribution n'est plus utilisée à l'Ensimag en 2013-2014.

Bienvenue sur le portail de la distribution Linux fournie par l'Ensimag.

Cette distribution a été construite à partir de la version 12.04 (64 bits) et de la version 10.04 (32 bits) d'Ubuntu. Il s'agit ni plus ni moins que d'Ubuntu à laquelle on a ajouté un ensemble de programmes utilisés dans l'école. La plupart sont déjà disponibles dans Ubuntu. D'autres, comme Eclipse, sont fournis en supplément.

Ensilinux vous permettra donc d'avoir très rapidement un environnement de travail fonctionnel pour vos TP à l'Ensimag. Il sera mis à jour automatiquement en fonction des nouveaux besoins qui apparaîtront à travers le mécanisme de mise à jour standard d'Ubuntu.

Contact: Simon Nieuviarts


Installation d'Ensilinux

Il existe plusieurs façons d'installer EnsiLinux. Ceux qui auraient reçu la clé USB en début d'année scolaire peuvent l'utiliser directement.

Installer un système Ensilinux complet à partir d'une image ISO

Vous pouvez télécharger l'image ISO ici, à graver sur un DVD ou à connecter directement dans le cas d'une machine virtuelle (voir ci-dessous) :

Ajouter les paquets sur un système Ubuntu déjà installé

Si vous avez une Ubuntu (c'est probablement compatible avec d'autres distributions basées sur le format .deb comme Debian ou dérivées) :

Activer les dépôts universe et multiverse de la distribution Ubuntu en éditant le fichier /etc/apt/sources.list .

Ajouter le dépôt Ensimag dans la liste de dépôts :

sudo sh -c "echo deb http://web.ensimag.fr/ensilinux/repo precise main >> /etc/apt/sources.list"

Note : precise est le nom de code de la version 12.04 d'Ubuntu.

Télécharger la clé publique permettant la vérification d'intégrité du dépôt :

wget -O - http://web.ensimag.fr/ensilinux/gpg-public-key.asc | sudo apt-key add -

Puis installer le paquet :

sudo apt-get update
sudo apt-get install --no-install-recommends ensimagsel

On peut ensuite récupérer de l'espace disque avec (les programmes resteront installés) :

sudo apt-get clean

Utiliser Ensilinux dans une machine virtuelle

Nous proposons deux approches à choisir à votre convenance.

Procéder à l'installation d'Ensilinux dans une machine virtuelle

Pour cette procédure il suffit de disposer de l'image ISO donnée ci-dessus ou distribuée sur clé USB. La démarche est documentée ici.

Télécharger une machine virtuelle préparée à l'avance

Nous fournissons une machine virtuelle déjà préparée sous la forme de fichiers à télécharger :

La procédure d'utilisation est indiquée ici.

Clé USB bootable

Une clé USB contenant le système Ensilinux sous forme d'ISO est distribuée en début de première année. Ce système est amorçable (bootable), c'est-à-dire qu'il peut être utilisé pour démarrer n'importe quel ordinateur.

Démarrer un ordinateur à partir de la clé permet :

  • de travailler directement sur la clé sans aucune installation et sans modification du contenu du disque dur,
  • ou d'installer Ensilinux sur l'ordinateur.

En outre, l'image ISO contenue sur la clé permet de graver un DVD d'installation ou d'installer une nouvelle machine virtuelle.

Création de la clé USB depuis linux - Version rapide 2012-2013 - 12.04 64 bits - clé ensilinux avec home persistant de 512 Mo

ATTENTION : cette procédure permet de récréer une clé ensilinux 2012-2013 64 bits. Toutes les données contenues auparavant sur la clé usb seront détruites.

Cette procédure nécessite une clé usb de taille supérieure ou égale à 4 Go

NOTA BENE : Ce script a été créé et testé sous ubuntu 12.04. Sur des configurations différentes, il est possible qu'il ne soit pas opérationnel. Ce script est paramétré en mode debug afin de faciliter la mise au point éventuelle. En cas d'erreur, le script s'arrête automatiquement.

Il est impératif de faire toutes les opérations en root.

sudo su -

Personnalisation du script de création de la clé

Télécharger le script de création :

wget http://web.ensimag.fr/ensilinux/files/usb/creer-cle-usb-ensilinux-home-512mo.sh

NOTA BENE : ne pas lancer tout de suite le script. Il faut le personnaliser avec le nom de périphérique de votre clé USB.

On branche une clé USB sur laquelle on va installer Ensilinux. On détermine son nom de périphérique :

dmesg | grep removable

Par exemple, la sortie suivante indique que la dernière clé USB branchée a pris le nom de périphérique sdc :

[    8.607699] sd 4:0:0:0: [sdb] Attached SCSI removable disk
[   55.236718] sd 5:0:0:0: [sdc] Attached SCSI removable disk
[   88.434703] sd 6:0:0:0: [sdc] Attached SCSI removable disk
[ 2705.104136] sd 7:0:0:0: [sdc] Attached SCSI removable disk

Personnalisation du script de création de la clé :

Editer le fichier de script : creer-cle-usb-ensilinux-home-512mo.sh
Remplacer la 1ère ligne du script : USB=sdzz par le nom du prériphérique de votre clé, dans l'exemple présenté : USB=sdc

Création de la clé Ensilinux

Basculer le fichier de script en mode executable :

chmod u+x creer-cle-usb-ensilinux-home-512mo.sh

Lancer le script de création de la clé Ensilinux :

./creer-cle-usb-ensilinux-home-512mo.sh

Création de la clé USB depuis linux - Version rapide 2010-2011 - 10.04 32 bits - clé ensilinux avec home persistant de 512 Mo

ATTENTION : Cette procédure permet de créer une clé bootable Ensilinux version 32 bits mais 10.04 (clé ensilinux 2010-2011). Toutes les données contenues auparavant sur votre clé usb seront détruites. A n'utiliser que si votre ordinateur n'est pas compatible 64 bits.

Cette procédure nécessite une clé usb de taille supérieure ou égale à 4 Go

NOTA BENE : Ce script a été créé et testé sous ubuntu 10.04 et 11.04. Sur des configurations différentes, il est possible qu'il ne soit pas opérationnel. Ce script est paramétré en mode debug afin de faciliter la mise au point éventuelle. En cas d'erreur, le script s'arrête automatiquement.

Il est impératif de faire toutes les opérations en root.

sudo su -

Personnalisation du script de création de la clé

Télécharger le script de création :

wget http://web.ensimag.fr/ensilinux/files/usb/creer-cle-usb-ensilinux-home-512mo-10-04-32-bits.sh

NOTA BENE : ne pas lancer tout de suite le script. Il faut le personnaliser avec le nom de périphérique de votre clé USB.

On branche une clé USB sur laquelle on va installer Ensilinux. On détermine son nom de périphérique :

dmesg | grep removable

Par exemple, la sortie suivante indique que la dernière clé USB branchée a pris le nom de périphérique sdc :

[    8.607699] sd 4:0:0:0: [sdb] Attached SCSI removable disk
[   55.236718] sd 5:0:0:0: [sdc] Attached SCSI removable disk
[   88.434703] sd 6:0:0:0: [sdc] Attached SCSI removable disk
[ 2705.104136] sd 7:0:0:0: [sdc] Attached SCSI removable disk

Personnalisation du script de création de la clé :

Editer le fichier de script : creer-cle-usb-ensilinux-home-512mo-10-04-32-bits.sh
Remplacer la 1ère ligne du script : USB=sdzz par le nom du prériphérique de votre clé, dans l'exemple présenté : USB=sdc

Création de la clé Ensilinux

Basculer le fichier de script en mode executable :

chmod u+x creer-cle-usb-ensilinux-home-512mo-10-04-32-bits.sh

Lancer le script de création de la clé Ensilinux :

./creer-cle-usb-ensilinux-home-512mo-10-04-32-bits.sh

Personnaliser les écrans façon Ensimag

Cette méthode n'a pas forcément été testée sur la dernière version d'Ensilinux :

Problèmes et questions

Paramétrage du VPN Cisco (ubuntu 10.04 uniquement)

Uniquement pour la clé usb ensilinux - ubuntu 10.04 : Actuellement, l'image ISO ensilinux 10.04 de la clé USB ne permet pas de configurer graphiquement une connexion VPN Cisco. Pour avoir cette possibilité :

  • Si la connexion filaire est opérationelle, il suffit de taper dans un terminal :
sudo apt-get install network-manager-vpnc-gnome
  • Pour les systèmes installés et dont la connexion filaire est opérationnelle (machine virtuelle ou natif), la mise à jour sera faite automatiquement via le paquet ensimagsel.
  • Pour les systèmes ne disposant d'aucune connexion réseau opérationnelle, le package nécessaire est téléchargeable ici : Lucid-network-manager-vpnc-gnome.tar.gz
    • Décompresser le fichier Lucid-network-manager-vpnc-gnome.tar.gz
    • Installer sur votre ordinateur le package .deb obtenu. Un simple double-clic suffit pour lancer automatiquement l'installation du package.