Configurer Firefox comme navigateur WEB par défaut

Vous verrez ici comment faire en sorte que Firefox soit votre navigateur WEB par défaut.

Le tutoriel au format PDF :

Configurer Firefox comme navigateur WEB par défaut

Le tutoriel vidéo :

La procédure peut être légèrement différente selon les versions de Windows et de Firefox utilisées.

Convertir la voix en texte – dictation.io

Dictation.io :

https://dictation.io/

Ce site WEB vous permet de convertir ce que vous dictez en texte. Vous pouvez également ajouter des paragraphes, des signes de ponctuation, etc. à l’aide de commandes vocales.

  • Attention ! : Sous Windows comme sous Linux, vous devez utiliser le navigateur WEB Chrome.
  • La page est en Anglais, n’activez pas la traduction, cela entraine un dysfonctionnement du programme.
  • Bien sûr, vous devez disposer d’un micro et autoriser son usage depuis Chrome (quand cela est demandé).

Vous lancez le programme par un clic sur [LAUNCH DICTATION].

Dans mon cas le Français était déjà sélectionné.

Pour commencer, cliquez sur [Start]

Speech Recognition commands vous donne accès à l’aide sur les commandes vocales.

Le programme a fonctionné tout de suite sans nécessiter plus de configurations.


Et pour Linux…

Pour mes tests, j’ai installé Chrome sous Linux Mint, j’ai donc téléchargé le paquet .deb que j’ai installé depuis le terminal avec la commande dpkg -i nom_du_paquet par la suite j’ai désinsntallé le paquet avec la commande dpkg -r nom_du_paquet

Plus d’informations sur la commande dpkg :

https://doc.ubuntu-fr.org/dpkg

Plus d’informations pour l’installation de Google Chrome sous Ubuntu avec entre autres choses l’installation depuis les dépôts de Google que j’ai réalisée ensuite (sous Linux Mint):

https://doc.ubuntu-fr.org/google_chrome

Apparemment, cela ne fonctionne pas avec le navigateur WEB Chromium.

 

Installer un site collaboratif avec MediaWiki sous Debian 7.

Installation de mediawiki :

# aptitude install mediawiki

Toutes les dépendances, Apache, PHP, MySQL, etc. se sont installées.

Mon fichier /etc/apache2/sites-available/www.wikitsrit.fr

<VirtualHost *:80>
  ServerName www.wikitsrit.fr
  ServerAdmin webmaster@localhost
  DocumentRoot /var/lib/mediawiki
  ErrorLog ${APACHE_LOG_DIR}/error.log
  CustomLog ${APACHE_LOG_DIR}/access.log combined
</VirtualHost>

Pour activer l’activation du site WEB :

# a2ensite www.wikitsrit.fr

# service apache2 reload

Création de la base de données MySQL. (Dans mon cas : le nom de la base est wiki_tsrit, mon utilisateur dom, le mot de passe spirou.)

# mysql -p
mysql> CREATE DATABASE wiki_tsrit CHARACTER SET utf8;
mysql> GRANT ALL ON wiki_tsrit.* TO 'dom'@'localhost' IDENTIFIED BY 'spirou';
mysql> quit

Ensuite, on configure MediaWiki à partir du navigateur WEB. Le nom de la base de données, de l’utilisateur MySQL et son mot de passe vous seront utiles.


Dans un premier temps, pour tester le site, j’ai modifié le fichier /etc/hosts pour associer l’URL de mon site à l’IP 127.0.0.1.

127.0.0.1    localhost
127.0.1.1    debian-wiki
127.0.0.1    www.wikitsrit.fr
# The following lines are desirable for IPv6 capable hosts
::1     localhost ip6-localhost ip6-loopback
ff02::1 ip6-allnodes
ff02::2 ip6-allrouters

Ensuite, on peut accéder au site grâce à son URL depuis le navigateur WEB.


Problème concernant le fichier LocalSettings.php.

À l’issue de l’installation, j’avais un message d’erreur concernant le fichier LocalSettings.php. J’ai récupéré ce fichier à la fin de l’opération et je l’ai placé sous /etc/mediawiki/ ce qui à réglé ce souci. Un lien symbolique pointe sur ce fichier à cet emplacement.


Modifier le logo.

Pour modifier le logo de MediaWiki, on doit utiliser la ligne suivante dans le fichier  /etc/mediawiki/LocalSettings.php  (vu précédemment).

$wgLogo             = "$wgStylePath/common/images/mediawiki.png";

Ce qui correspond dans mon cas à :

/usr/share/mediawiki/skins/common/images/mediawiki.png


Vous pouvez également consulter la page consacrée à l’hébergement d’un WIKI sur un Raspberry Pi :

Installation de MediaWiki sur un Raspberry Pi