Masquage automatique de la barre des tâches de Windows
Chaque espace de surveillance est précieux, en particulier l'espace vertical. Mais dans Windows 10, la barre des tâches assez volumineuse prend de l'espace même lorsque vous n'en avez pas besoin.
Il est facile de masquer la barre des tâches lorsqu'elle n'est pas utilisée. Tout d'abord, cliquez avec le bouton droit sur un emplacement vide dans la barre des tâches. Un menu apparaîtra.
Cliquez sur l'option du bas, "Paramètres". (Si vous utilisez une ancienne version de Windows, vous devrez peut-être cliquer sur "Préférences" à la place, plus sur ce qui suit.) Le panneau approprié Les paramètres s'ouvriront.
Vous verrez deux options: masquer la barre des tâches en mode bureau et masquer la barre des tâches en mode tablette. Basculer une ou deux de ces options. Si vous choisissez de masquer la barre des tâches en mode bureau, elle n'apparaîtra que si vous déplacez votre souris en bas de l'écran. Comme ceci:
Si votre appareil Windows 10 est une tablette détachable, vous pouvez également activer le masquage de la barre des tâches en mode tablette. Lorsque vous le faites, votre barre des tâches ne s'affiche que lorsque vous faites glisser le doigt depuis le bas de l'écran.
Si vous utilisez Windows 7 ou 8, ce processus peut sembler un peu différent. Lorsque vous cliquez avec le bouton droit sur la barre des tâches, vous verrez une fenêtre qui ressemble à ceci:
Cochez "Masquer automatiquement la barre des tâches" et vous avez terminé! Votre barre des tâches se cache maintenant jusqu'à ce que vous déplaciez votre souris vers le bas de l'écran, comme indiqué ci-dessous.
Si la barre des tâches ne se cache pas systématiquement, voici quelques astuces permettant de corriger la barre des tâches.
Lorsque vous lancez une commande à l'invite bash, elle imprime normalement la sortie de cette commande commande directement au terminal afin que vous puissiez le lire immédiatement. Mais bash vous permet également de "rediriger" la sortie de n'importe quelle commande, en l'enregistrant dans un fichier texte afin de pouvoir revoir la sortie plus tard.
Comment voir les notifications Twitter pour les mentions, mais pas pour les favoris ou les retweets
Si vous avez déjà posté un tweet très populaire ou fait partie d'un fil populaire, vous connaissez probablement le léger ennui d'avoir débordé de votre téléphone avec des dizaines de notifications pour les retweets et les favoris. Si ce comportement affecte votre utilisation de Twitter (votre assistant de médias sociaux, vous), vous voudrez probablement limiter ces notifications.
