Les deux révisions précédentesRévision précédenteProchaine révision | Révision précédenteProchaine révisionLes deux révisions suivantes |
logiciel:linux [2011-05-16 19:44] – [Mercurial] lokbani | logiciel:linux [2013-07-26 15:42] – [Logiciels disponibles au DIRO] derval |
---|
| |
firefox & | firefox & |
| |
Linux a été mis à jour sur les stations d'enseignement à FC7. Firefox ne fonctionne pas lors du premier lancement pour chaque usager. | |
| |
**Solution : taper la commande Linux après la première exécution** dans une fenêtre de console : | |
| |
firefixe | |
| |
Il y a une règle simple à suivre pour éviter tout problème de profil avec Firefox: utiliser **un et un seul** profil. Dans l'environnement UNIX du DIRO, il n'y a //a priori// rien de particulier à faire pour garantir ceci puisque le profil de Firefox réside dans le compte UNIX de l'usager qui réside sur un serveur central. Malgré tout, il peut arriver de temps à autre qu'au démarrage de Firefox, il demande si l'usager veut créer un nouveau profil ou utiliser un profil existant. Ceci se produit lorsque Firefox ne s'est pas fermé correctement à la dernière exécution ou si une autre instance du logiciel est active sur une autre machine où l'usager est branché. Peu importe la cause, il est **important** de ne pas créer de nouveau profil. Le mieux est de quitter Firefox et, si la situation correspond au deuxième cas, aller fermer l'autre instance. Pour le premier cas (Firefox mal fermé), l'usager doit ouvrir une fenêtre de terminal puis taper : | Il y a une règle simple à suivre pour éviter tout problème de profil avec Firefox: utiliser **un et un seul** profil. Dans l'environnement UNIX du DIRO, il n'y a //a priori// rien de particulier à faire pour garantir ceci puisque le profil de Firefox réside dans le compte UNIX de l'usager qui réside sur un serveur central. Malgré tout, il peut arriver de temps à autre qu'au démarrage de Firefox, il demande si l'usager veut créer un nouveau profil ou utiliser un profil existant. Ceci se produit lorsque Firefox ne s'est pas fermé correctement à la dernière exécution ou si une autre instance du logiciel est active sur une autre machine où l'usager est branché. Peu importe la cause, il est **important** de ne pas créer de nouveau profil. Le mieux est de quitter Firefox et, si la situation correspond au deuxième cas, aller fermer l'autre instance. Pour le premier cas (Firefox mal fermé), l'usager doit ouvrir une fenêtre de terminal puis taper : |
* //etc.// | * //etc.// |
| |
La version 6 est la version de défaut. Les versions 7 et 8 sont disponibles. | Les versions 7, 8 et 9 sont disponibles. |
| |
Pour utiliser la version 7, il faut d'abord taper la commande | Pour utiliser la version 7, il faut d'abord taper la commande |
| |
inclure math-8 | inclure math-8 |
| |
| Pour utiliser la version 9, il faut d'abord taper la commande |
| |
| inclure math-9 |
| |
Vous pouvez exécuter Mathematica en mode graphique avec la commande | Vous pouvez exécuter Mathematica en mode graphique avec la commande |
* //etc.// | * //etc.// |
| |
Pour lancer le logiciel Matlab version 2009b, la commande est | Pour lancer le logiciel Matlab version 2011a, la commande est |
| |
matlab | matlab |
| |
matlab7a | matlab7a |
| |
| La version 2009b est encore disponible par la commande |
| |
===== Base de données ===== | matlab9b |
| |
| ===== Bases de données ===== |
| |
==== Oracle ==== | ==== Oracle ==== |
- La commande <code>oradoc</code> démarre Firefox pour consulter la documentation du logiciel. | - La commande <code>oradoc</code> démarre Firefox pour consulter la documentation du logiciel. |
| |
| ==== MySQL ==== |
| |
| Plus d'information sur le [[logiciel:mysql|logiciel MySQL]]. |
===== Systèmes de gestion de versions ===== | ===== Systèmes de gestion de versions ===== |
| |
=== Gestion === | === Gestion === |
| |
== Ajouter un utilisateur == | == Ajout d'un utilisateur == |
| |
Demander à l'usager de vous envoyer [[:logiciel:linux#Mercurial#Clé ssh pour l'administration|une clé publique ssh]]. Ajouter le fichier de la clé dans un sous-répertoire du répertoire keys sous le nom $usager. Dire à hg qu'il y a un nouveau fichier, commettre les changements et les pousser sur le serveur. | Demander à l'usager de vous envoyer [[:logiciel:linux#cle_ssh_pour_l_administration1|une clé publique ssh]]. Ajouter le fichier de la clé dans un sous-répertoire du répertoire keys sous le nom $usager. Dire à hg qu'il y a un nouveau fichier, commettre les changements et les pousser sur le serveur. |
| |
<code>hg add | <code>hg add |
hg push</code> | hg push</code> |
| |
= Création de groupes = | == Création de groupes == |
| |
Utiliser la commande mkdir pour créer un sous-répertoire keys/$groupe et y mettre les clés publiques ssh de ceux qui doivent en faire partie. On peut même créer un arborescence plus profonde (i.e. groupe, sous-groupe, sous-sous-groupe, etc.), si cela est nécessaire. | Utiliser la commande mkdir pour créer un sous-répertoire keys/$groupe et y mettre les clés publiques ssh de ceux qui doivent en faire partie. On peut même créer un arborescence plus profonde (i.e. groupe, sous-groupe, sous-sous-groupe, etc.), si cela est nécessaire. |
| |
= Groupes prédéfinis = | == Groupes prédéfinis == |
| |
Deux sous-répertoires de keys/ ont des accès prédéfinis sur tous les dépôts (avec une exception pour hgadmin). Il se peut que ces sous-répertoires n'existent pas encore lors du premier clonage de hgadmin, il suffit alors de les créer avec un mkdir si on veut les utiliser. | Deux sous-répertoires de keys/ ont des accès prédéfinis sur tous les dépôts (avec une exception pour hgadmin). Il se peut que ces sous-répertoires n'existent pas encore lors du premier clonage de hgadmin, il suffit alors de les créer avec un mkdir si on veut les utiliser. |
hg push</code> | hg push</code> |
| |
= Gestion des règles d'accès = | == Gestion des règles d'accès == |
| |
Le fichier access.conf contient les règles qui définissent les accès pour les différents dépôts. Chaque règle a la forme | Le fichier access.conf contient les règles qui définissent les accès pour les différents dépôts. Chaque règle a la forme |
=== Gestion === | === Gestion === |
| |
== Ajouter un utilisateur == | == Ajout d'un utilisateur == |
| |
Demander à l'usager de vous envoyer une clé publique ssh (voir plus haut pour la création). Ajouter le fichier de la clé dans le répertoire keydir sous le nom $usager.pub. Dire à git qu'il y a un nouveau fichier, commettre les changements et les pousser sur le serveur. | Demander à l'usager de vous envoyer [[logiciel:linux#cle_ssh_pour_l_administration2|une clé publique ssh]]. Ajouter le fichier de la clé dans le répertoire keydir sous le nom $usager.pub. Dire à git qu'il y a un nouveau fichier, commettre les changements et les pousser sur le serveur. |
| |
<code> | <code> |
| **chmp** | Pour changer son mot de passe | | | **chmp** | Pour changer son mot de passe | |
| **[[:labs:grappe|cluster]]** | Réservation de machines parallèles | | | **[[:labs:grappe|cluster]]** | Réservation de machines parallèles | |
| **[[http://www.ilog.com/products/cplex/|cplex]]** | Outil de programmation linéaire CPLEX. Pour l'utiliser le logiciel CPLEX, il faut taper les commandes (environnement de recherche seulement) : <code>inclure cplex | | **[[http://www.ilog.com/products/cplex/|cplex]]** | Outil de programmation linéaire CPLEX. Pour l'utiliser le logiciel CPLEX, il faut taper les commandes (environnement de recherche seulement) : <code>inclure cplex9-j6 (pour la version 9) ou |
cplex</code> | | inclure cplex12 (pour la version 12) |
| (puis) |
| cplex (pour lancer le logiciel)</code> | |
| **[[http://wiki.daimi.au.dk/cpntools/cpntools.wiki|cpn]]** | Colored Petri Net, version 4, génie logiciel | | | **[[http://wiki.daimi.au.dk/cpntools/cpntools.wiki|cpn]]** | Colored Petri Net, version 4, génie logiciel | |
| **[[http://www.gnu.org/software/ddd/|ddd]]** | Débogueur | | | **[[http://www.gnu.org/software/ddd/|ddd]]** | Débogueur | |