Recherche
Voici les résultats de votre recherche.
Résultats plein texte:
- python
- ribution **GNU-Linux**, on peut aussi utiliser un outil standard d'installation pour configurer son envir... * ... * [[https://www.pylint.org/|Pylint]], outil permettant d'analyser la qualité d'écriture d'un ... [[http://pychecker.sourceforge.net/|PyChecker]], outil permettant de déceler les bugs dans un code Pytho... * [[http://www.virtualenv.org|virtualenv]], un outil pour créer des environnements isolés, permettant
- dokuwiki
- * aucune base de données n’est nécessaire * l'outil collaboratif est éprouvé, et utilisé par des site... Pour éditer une page, il suffit de sélectionner l'outil "Modifier cette page" (souvent un symbole de crayon d'une barre d'outil latérale. L'éditeur comprend une barre d'outil supérieure avec de nombreuses commandes d'édition classiq
- gestion_agendas_stages
- code à écrire pour la vue "coordinateur" * outil GAFA non institutionnel, hors UE (non RGPD vu l'i... eld") * À base d'Office 365 * pro : * outil institutionnel * existence de "Power Automa... inateur" * À base de moodle * pro : * outil institutionnel, opensource, maîtrisé par les étud... é sur un serveur virtuel à l'UMONS, maîtrise de l'outil et des réglages * con : * "détournement
- h5p
- tps://www.profweb.ca/publications/articles/h5p-un-outil-pour-ludifier-les-apprentissages|H5P : un outil pour ludifier les apprentissages | Profweb]] * [[htt... on]] (pdf) * [[https://linuxfr.org/news/h5p-un-outil-libre-pour-creer-des-activites-interactives|H5P : un outil libre pour créer des activités interactives - Lin
- latex
- un regroupement de macros qui utilisent TeX comme outil de mise en page. TeX et LaTeX sont des logiciels ... ans l'installer ===== <note tip> Overleaf est un outil collaboratif de rédaction et de publication scien... //detexify.kirelabs.org/classify.html|Detexify]], outil web graphique pour trouver les symboles * Nom
- config_ubuntu_server
- nswers.co]] * sudo apt install phpmyadmin * outil de configuration * serveur web : apache2 ... t-get upgrade * sudo reboot * Installer l'outil Ubuntu d'update : sudo apt install update-manager
- config_ubuntu_server-20.04
- nswers.co]] * sudo apt install phpmyadmin * outil de configuration * serveur web : apache2 ... t-get upgrade * sudo reboot * Installer l'outil Ubuntu d'update : sudo apt install update-manager
- config_debian_i386_convertir_portable_32bits_en_serveur
- ps://doc.ubuntu-fr.org/netplan|netplan]] : nouvel outil de configuration réseau utilisant des fichiers de
- config_ubuntu_server-16.04
- nswers.co]] * sudo apt install phpmyadmin * outil de configuration * serveur web : apache2
- config_ubuntu_server-18.04
- nswers.co]] * sudo apt install phpmyadmin * outil de configuration * serveur web : apache2
- config_ubuntu_server-18.04_rpi3
- ps://doc.ubuntu-fr.org/netplan|netplan]] : nouvel outil de configuration réseau utilisant des fichiers de
- config_ubuntu_server_rpi1
- ps://doc.ubuntu-fr.org/netplan|netplan]] : nouvel outil de configuration réseau utilisant des fichiers de
- config_ubuntu_server_rpi3
- ps://doc.ubuntu-fr.org/netplan|netplan]] : nouvel outil de configuration réseau utilisant des fichiers de
- config_xubuntu
- glages GNOME gnome-tweak-tool intégré → réglages (outil de personnalisation intégré) * tailles icônes
- config_xubuntu-16.04
- glages GNOME gnome-tweak-tool intégré → réglages (outil de personnalisation intégré) * tailles icônes