Outils pour utilisateurs

Outils du site


logiciel:linux

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentesRévision précédente
Prochaine révision
Révision précédente
Prochaine révisionLes deux révisions suivantes
logiciel:linux [2011-05-16 20:11] – [Mercurial] lokbanilogiciel:linux [2012-10-03 19:40] – [Firefox] lokbani
Ligne 144: Ligne 144:
  
   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 :
Ligne 173: Ligne 167:
   * //etc.//   * //etc.//
  
-La version 6 est la version de défaut. Les versions 7 et 8 sont disponibles.+Les versions 7 et 8 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
Ligne 223: Ligne 217:
   * //etc.//   * //etc.//
  
-Pour lancer le logiciel Matlab version 2009b, la commande est+Pour lancer le logiciel Matlab version 2011a, la commande est
  
     matlab     matlab
Ligne 237: Ligne 231:
  
     matlab7a     matlab7a
 +    
 +La version 2009b est encore disponible par la commande
  
-===== Base de données =====+    matlab9b     
 + 
 +===== Bases de données =====
  
 ==== Oracle ==== ==== Oracle ====
Ligne 250: Ligne 248:
   - 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 =====
  
Ligne 371: Ligne 372:
 === Gestion === === Gestion ===
  
-== Ajouter un utilisateur ==+== Ajout d'un utilisateur ==
  
 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.  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. 
Ligne 379: Ligne 380:
 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. 
Ligne 399: Ligne 400:
 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 
Ligne 474: Ligne 475:
 === 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>
logiciel/linux.txt · Dernière modification : 2020-01-08 21:42 de royjuli