Outils pour utilisateurs

Outils du site


public:extensions_beta

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édentes Révision précédente
Prochaine révision
Révision précédente
public:extensions_beta [2019/12/20 16:43]
slh@ens-lyon.fr
public:extensions_beta [2019/12/20 17:11] (Version actuelle)
matthieu.decorde@ens-lyon.fr [Préférences]
Ligne 106: Ligne 106:
 ==== Installation ==== ==== Installation ====
  
-  ​- Installer le logiciel VLC à la version **3.x ou plus** : [[http://​www.videolan.org/​vlc|Site officiel de VLC]]. +  - Installer l'​extension depuis le menu "​Fichier > Installer une extension"​.
-  ​- Installer l'​extension depuis le menu "​Fichier > Installer une extension"​ +
- +
-Attention : l'​extension ne fonctionne pas sous Linux 32bit (bug lié aux scripts Lua de VLC 32bit). +
 ==== Utilisation ==== ==== Utilisation ====
  
Ligne 167: Ligne 163:
 ==== Préférences ==== ==== Préférences ====
  
-Les préférences du média player concernent ​ne particulier ​le retour à la vidéo depuis une commande (Concordance, ​Édition).+Les préférences du média player concernent le comportement du retour à la vidéo depuis une Édition ​ou une Concordance.
  
 === Préférences TXM === === Préférences TXM ===
Ligne 193: Ligne 189:
 **MileStone** **MileStone**
  
-TBD+L'​empan est construit à partir des préférences suivantes : 
 +  * Structure : u 
 +  * Propriété codant le temps de départ : start 
 + 
 +Pour une sélection de mot données, TXM récupère le temps du début de structure "​u"​ qui précède la position du premier mot et le temps du début de structure "​u"​ qui suit la position du dernier mot de la sélection.
  
 **Word** **Word**
Ligne 204: Ligne 204:
 === Préférences de corpus === === Préférences de corpus ===
  
-Des préférences de corpus peuvent ​être prioritaires à des préférences de TXM.+Des préférences de corpus peuvent ​prendre précédence sur les préférences de TXM.
  
-Des préférences de corpus peuvent régler ​la stratégie ​de découverte et d'​accès aux fichiers médias.+Par défaut ​la stratégie d'​accès aux fichiers médias ​utilise le répertoire '​media'​ du corpus.
  
-Les préférences de corpus pour le Media Player sont accédées ​à partir du menu "​Édition"​ quand le corpus est sélectionné :+Des préférences de corpus permettent de modifier cette stratégie : 
 +  * les fichiers média peuvent se trouver dans un autre répertoire que le répertoire '​media'​ ou encore être accédés en ligne par streaming. 
 +  * les fichiers média peuvent être accédés en ligne directement ou par contrôle d'​accès (par identifiant / mot de passe). 
 + 
 +Les préférences de corpus pour le Media Player sont modéifiées ​à partir du menu "​Édition"​ quand le corpus est sélectionné :
   - lancer l'​entrée "​Ouvrir les préférences média"​   - lancer l'​entrée "​Ouvrir les préférences média"​
   - la fenêtre des préférences est constituée d'un tableau nom de préférence / valeur de préférence   - la fenêtre des préférences est constituée d'un tableau nom de préférence / valeur de préférence
   - les préférences "​media_path_prefix",​ "​media_extension",​ "​media_auth"​ et "​media_auth_login"​ permettent de régler l'​accès au fichier média   - les préférences "​media_path_prefix",​ "​media_extension",​ "​media_auth"​ et "​media_auth_login"​ permettent de régler l'​accès au fichier média
-    * pour un réglage d'​accès distant sans authentification ou local (différent du répertoire "​media"​ par défaut du corpus), régler les préférences comme suit : "media_path_prefix=url", "media_extension=l'​extention ​des fichiers média", "media_auth=false" et "media_auth_login=" +    * pour un réglage d'**accès distant sans authentification** ou bien **accès ​local** (différent du répertoire "​media"​ par défaut du corpus), régler les préférences comme suit : 
-    * pour un réglage d'​accès distant avec authentification,​ régler les préférences comme suit : "media_path_prefix=url de la forme %%https://​{0}:​{1}@serveur.xyz/​chemin%%"​, "​media_extension=l'extention ​des fichiers média", "media_auth=true" et "media_auth_login=éventuellement un login pré-rempli"​. ​Le login et le mot de passe seront insérées dans les champs {0} et {1} du pattern "​media_path_prefix"​.+      * media_path_prefix=url ​ou chemin absolu ou chemin relatif 
 +      * media_extension=extension ​des fichiers média ​(eg '​.mp4'​) 
 +      * media_auth=false 
 +      * media_auth_login= ​(vide) 
 +    * pour un réglage d'**accès distant avec authentification**, régler les préférences comme suit : 
 +      * media_path_prefix=url de la forme "%%https://​{0}:​{1}@serveur.xyz/​chemin%%"​ 
 +        * le champ %%{0}%% sera remplacé par l'identifiant 
 +        * le champ %%{1}%% sera remplacé par le mot de passe saisi dans la boite de dialogue de connexion 
 +      * media_extension=extension ​des fichiers média 
 +      * media_auth=true 
 +      * media_auth_login=éventuellement un login qui sera pré-rempli ​dans la yaute de dialogue de connexion 
 + 
 +Le login et le mot de passe seront insérées dans les champs {0} et {1} du pattern "​media_path_prefix"​.
  
 ======= Éditeurs ======= ======= Éditeurs =======
public/extensions_beta.1576856625.txt.gz · Dernière modification: 2019/12/20 16:43 par slh@ens-lyon.fr