Ubuntu personnalisée pour pcDuino
De Wiki Arobose
Gdo (discuter | contributions) |
Gdo (discuter | contributions) |
||
Ligne 5 : | Ligne 5 : | ||
* Télécharger le package [https://github.com/geonobot/make_deb_distro/releases/download/0.1/make-deb-distro-0.1.deb make-deb-distro] | * Télécharger le package [https://github.com/geonobot/make_deb_distro/releases/download/0.1/make-deb-distro-0.1.deb make-deb-distro] | ||
* Télécharger le profil pour la pcduino : [https://github.com/geonobot/pcduino-profile/archive/master.zip pcduino-profile] | * Télécharger le profil pour la pcduino : [https://github.com/geonobot/pcduino-profile/archive/master.zip pcduino-profile] | ||
+ | |||
Pour pouvoir créer notre carte micro-SD prête à l'emploi pour pcDuino, nous allons utiliser un programme nommé make_deb_distro. | Pour pouvoir créer notre carte micro-SD prête à l'emploi pour pcDuino, nous allons utiliser un programme nommé make_deb_distro. | ||
Celui-ci permet de créer une distribution Ubuntu ou Debian personnalisée pour différentes cibles, grâce à un système de profils. | Celui-ci permet de créer une distribution Ubuntu ou Debian personnalisée pour différentes cibles, grâce à un système de profils. | ||
+ | |||
Commencons par installer le package make-deb-distro : | Commencons par installer le package make-deb-distro : | ||
<syntaxhighlight lang="bash">sudo dpkg -i make-deb-distro-0.1.deb | <syntaxhighlight lang="bash">sudo dpkg -i make-deb-distro-0.1.deb | ||
sudo apt-get -f install</syntaxhighlight> | sudo apt-get -f install</syntaxhighlight> | ||
+ | |||
Créez un répertoire, par exemple build/, et copiez y le profil de notre pcDuino que vous avez normalement téléchargé dans les pré-requis : | Créez un répertoire, par exemple build/, et copiez y le profil de notre pcDuino que vous avez normalement téléchargé dans les pré-requis : | ||
Ligne 17 : | Ligne 20 : | ||
cp pcduino-profile-master.zip build/ | cp pcduino-profile-master.zip build/ | ||
</syntaxhighlight> | </syntaxhighlight> | ||
+ | |||
Il faut maintenant décompresser l'archive du profil et entrer dans son répertoire : | Il faut maintenant décompresser l'archive du profil et entrer dans son répertoire : | ||
Ligne 22 : | Ligne 26 : | ||
unzip pcduino-profile-master.zip | unzip pcduino-profile-master.zip | ||
cd pcduino-profile-master</syntaxhighlight> | cd pcduino-profile-master</syntaxhighlight> | ||
+ | |||
Il ne reste plus qu'à insérer notre carte micro-SD et à appeler notre programme make-deb-distro en lui indiquant notre profil et les options voulues : | Il ne reste plus qu'à insérer notre carte micro-SD et à appeler notre programme make-deb-distro en lui indiquant notre profil et les options voulues : | ||
<syntaxhighlight lang="bash">sudo make-deb-distro -a install -b /dev/mmcblk0 -c pcduino.conf -p "vim openssh-server language-pack-fr language-pack-fr-base isc-dhcp-client"</syntaxhighlight> | <syntaxhighlight lang="bash">sudo make-deb-distro -a install -b /dev/mmcblk0 -c pcduino.conf -p "vim openssh-server language-pack-fr language-pack-fr-base isc-dhcp-client"</syntaxhighlight> | ||
+ | |||
La première fois qu'elle est lancée, cette commande est très longue et dépend de la puissance de votre PC ainsi que de la qualité de votre connexion internet. | La première fois qu'elle est lancée, cette commande est très longue et dépend de la puissance de votre PC ainsi que de la qualité de votre connexion internet. | ||
Une fois l'exécution terminée, la carte est prête à être utilisée sur la pcduino. | Une fois l'exécution terminée, la carte est prête à être utilisée sur la pcduino. | ||
+ | |||
Pour des explications sur les options passée à notre commande, lancez la commande '''make-deb-distro --help''' : | Pour des explications sur les options passée à notre commande, lancez la commande '''make-deb-distro --help''' : |