Recherche

Résultats plein texte:

config_ubuntu_server_rpi3

2 Occurrences trouvées, Dernière modification : il y a 2 mois

t fonctionner sans mdp : ssh ubuntu@ip_adress * mises à jour : * sudo apt-get update * sudo ap... paramètres avancés) ===== Exploitation ===== * mises à jour : * sudo apt-get update * sudo ap

python

1 Occurrences trouvées, Dernière modification : il y a 3 mois

/index.html|Theano]], librairie pour définir, optimiser et évaluer efficacement des expressions mathémat

config_xubuntu

4 Occurrences trouvées, Dernière modification : il y a 5 mois

d'un PC sous Xubuntu 16.04]], Xenial Xerus ===== Mise à niveau à partir de la version précédente ===== ... ate-manager -c -d * démarrer le gestionnaire de mises à jour et opter pour la mise à niveau * certaines sources sont déactivées, et doivent être réactiv... * installation normale. Options : télécharger les mises à jour et (ou pas) installer un logiciel tiers (

ressources_educatives_libres

2 Occurrences trouvées, Dernière modification : il y a 7 mois

nce avec d'autres sous licence libre n'est pas permise ! (par exemple combiner du cc-by-sa-nc et un cont... /www.edumeteo.org/menu_a.html|Météo à l'école]] **mise à disposition de données, liens (licences non pré

memoire-ssd-hdd-optimisation

6 Occurrences trouvées, Dernière modification : il y a 8 mois

(Xubuntu 22.04 LTS probablement). Je souhaite optimiser les performances du système en répartissant judi... s répartitions optimales ? Réponse : Pour optimiser les performances de votre système Linux sur un l... cuments, images, musique, etc. Cela permet d'économiser de l'espace sur le SSD et d'assurer que vos donn... isée. - **Lier les dossiers** : * Pour économiser de l'espace sur le SSD, vous pouvez créer des li

config_ubuntu_server

7 Occurrences trouvées, Dernière modification : il y a 9 mois

t de l'installer via le menu de virtualbox. ==== Mise à jour de VirtualBox ==== Si les sources sont identiques, et qu'il s'agit d'une mise à jour mineure, effectuer simplement : sudo apt... s sources si la version de Ubuntu est différente (mise à jour), puis : sudo apt update Ensuite repren... elever l'IP du serveur par la commande "ip a" * mises à jour : * sudo apt-get update * sudo ap

config_ubuntu_server-20.04

7 Occurrences trouvées, Dernière modification : il y a 9 mois

pack --replace && rm *.vbox-extpack </code> ==== Mise à jour de VirtualBox ==== Si les sources sont identiques, et qu'il s'agit d'une mise à jour mineure, effectuer simplement : sudo apt... s sources si la version de Ubuntu est différente (mise à jour), puis : sudo apt update Ensuite repren... elever l'IP du serveur par la commande "ip a" * mises à jour : * sudo apt-get upgrade * sudo a

dokuwiki_extensions

1 Occurrences trouvées, Dernière modification : il y a 12 mois

resoudre=Résoudre une situation complexe\\ par la mise en œuvre de la\\ démarche scientifique |investigu