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:52]
slh@ens-lyon.fr [Préférences]
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 prendre précédence sur 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. Par défaut la stratégie d'​accès aux fichiers médias utilise le répertoire '​media'​ du corpus.
  
-Les fichiers média peuvent ​également ​se trouver dans un autre répertoire ou bien être en ligne. +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 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é : Les préférences de corpus pour le Media Player sont modéifiées à partir du menu "​Édition"​ quand le corpus est sélectionné :
Ligne 218: Ligne 216:
   - 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.1576857173.txt.gz · Dernière modification: 2019/12/20 16:52 par slh@ens-lyon.fr