Applications de notification de bureau Google Voice
Tout comme Google Wave, Google Voice a suscité un véritable buzz à travers le monde. Google ambitionne de révolutionner nos communications et, comme il devient
Vous cherchez à renommer un répertoire sur votre PC Linux mais vous ne savez pas comment le faire ? Ce guide vous aidera! Suivez-nous pendant que nous examinons différentes manières de renommer des répertoires sous Linux !
Le moyen le plus rapide et le plus simple de renommer un répertoire sur la plate-forme Linux consiste à utiliser l'outil MV (déplacer). MV est un utilitaire de ligne de commande, il fonctionne donc sur n'importe quel environnement de bureau Linux. Mieux encore, MV est un programme essentiel pour tous Linux, il n'est donc pas nécessaire de l'installer !
Pour commencer, ouvrez une fenêtre de terminal sur le bureau Linux. Le raccourci clavier Ctrl + Alt + T lancera une session de terminal sur la plupart des environnements de bureau Linux. Vous pouvez également trouver « Terminal » dans le menu de l'application de votre bureau.
Une fois à l'intérieur d'une fenêtre de terminal, exécutez la commande ls . LS (liste AKA) affichera tout ce qui se trouve dans le répertoire dans lequel vous vous trouvez actuellement (qui est par défaut le dossier de départ de votre compte utilisateur).
ls
Recherchez dans la sortie de la commande ls le répertoire que vous souhaitez renommer. Si vous ne parvenez pas à localiser le répertoire, vous devrez trouver son emplacement avant d'essayer de le renommer.
Par exemple, pour renommer le dossier « Livres » à l'intérieur de /home/derrik/Documents/, vous devez d'abord accéder au dossier « Documents » à l'aide de la commande CD ci-dessous.
cd ~/Documents/
Une fois dans le dossier « Documents », la commande ls est exécutée pour afficher le contenu du dossier « Documents ».
ls
Grâce à ls , nous voyons que le dossier « Livres » est bien dans le dossier « Documents ». À partir de là, nous pouvons renommer le répertoire de « Livres » en autre chose, en utilisant la commande mv .
mv Books/ nouveau-nom/
Pour renommer n'importe quel répertoire sous Linux, commencez par le nom d'origine du dossier et ajoutez le nouveau nom en second. La commande renommer est la suivante :
mv nom-original-du-répertoire/ nouveau-nom-du-répertoire/
L'utilisation de la commande CP est une autre façon de renommer un répertoire sous Linux. Ce n'est pas aussi simple que la commande MV , mais si vous n'êtes pas satisfait de la commande MV , vous pouvez suivre cette voie pour renommer un répertoire.
Pour commencer, ouvrez un terminal. Une fois ouvert, utilisez le terminal pour trouver l'emplacement exact du dossier que vous souhaitez renommer. Dans cet exemple, nous utiliserons la commande CP pour renommer le répertoire « Livres » à l'intérieur du dossier « Documents ».
Tout d'abord, entrez dans le dossier "Documents" à l'aide de la commande CD .
cd ~/Documents/
Dans le répertoire "Documents", exécutez la commande ls pour afficher le contenu du dossier.
ls
Grâce à la commande ls , on peut voir que le répertoire « Books » est bien dans le dossier « Documents ». À partir de là, nous pouvons utiliser la commande CP pour faire une copie du dossier « Livres ».
cp -r ancien-nom/ nouveau-nom/
Une fois que la commande CP a fini de créer une copie, nous pouvons supprimer le dossier « Livres » à l'aide de la commande RM .
rm -rf Livres/
Lorsque le dossier « Livres » d'origine aura disparu, vous vous retrouverez avec un dossier nouvellement renommé. Les commandes pour renommer les répertoires avec la commande CP sont les suivantes :
cp -r Original-Dossier/Nouveau-Dossier/ rm -rf Original-Dossier/
Si le terminal Linux n'est pas votre fort, il est toujours possible de renommer des répertoires à l'aide du gestionnaire de fichiers Linux. Il existe de nombreux excellents gestionnaires de fichiers Linux sur la plate-forme, et chacun d'eux dispose d'une fonctionnalité de renommage des dossiers.
Comme il existe tellement de gestionnaires de fichiers Linux pour divers environnements de bureau, nous ne pouvons pas expliquer comment renommer un répertoire avec chacun. Cela dit, les gestionnaires de fichiers Linux sont très similaires, donc ces instructions devraient fonctionner sur la plupart d'entre eux.
Sur la plupart des gestionnaires de fichiers Linux, la touche F2 permet à l'utilisateur de renommer un répertoire. Pour renommer un dossier sur votre PC Linux avec le gestionnaire de fichiers Linux, procédez comme suit.
Tout d'abord, localisez le répertoire dans lequel vous souhaitez renommer. Cet exemple renommera le dossier « Livres » situé dans le répertoire « Documents » dans le dossier de départ.
Après avoir localisé le dossier « Livres » dans le gestionnaire de fichiers Linux, sélectionnez-le avec la souris. De là, vous pouvez appuyer sur la touche F2 du clavier. N'oubliez pas que le dossier doit être sélectionné avec la souris AVANT d'appuyer sur F2 pour que cela fonctionne.
Une fois que vous avez appuyé sur le bouton F2 , le gestionnaire de fichiers Linux vous invitera à entrer un nouveau nom pour le répertoire. À l'aide du clavier, écrivez un nouveau nom à l'aide du clavier.
Remarque : Vous ne voulez pas appuyer sur la touche F2 ? Cliquez avec le bouton droit sur le dossier souhaité et localisez l'option « renommer » dans le menu contextuel pour le renommer à l'aide du gestionnaire de fichiers.
Lorsque vous avez fini d'écrire un nouveau nom pour le répertoire, appuyez sur la touche Entrée du clavier. Appuyez sur ce bouton pour appliquer les modifications au nouveau dossier. Répétez cette opération pour renommer autant de répertoires sur votre PC Linux que nécessaire.
Tout comme Google Wave, Google Voice a suscité un véritable buzz à travers le monde. Google ambitionne de révolutionner nos communications et, comme il devient
De nombreux outils permettent aux utilisateurs de Flickr de télécharger leurs photos en haute qualité, mais existe-t-il un moyen de télécharger les favoris Flickr ? Nous avons récemment découvert
Qu'est-ce que l'échantillonnage ? Selon Wikipédia, « C'est l'acte de prendre une partie, ou un échantillon, d'un enregistrement sonore et de le réutiliser comme instrument ou
Google Sites est un service de Google permettant d'héberger un site web sur ses serveurs. Cependant, il n'offre aucune option de sauvegarde intégrée.
Google Tasks n'est pas aussi populaire que d'autres services Google tels que Calendar, Wave, Voice, etc., mais il est toujours largement utilisé et fait partie intégrante de la vie quotidienne des gens.
Dans notre guide précédent sur l'effacement sécurisé du disque dur et des supports amovibles via Ubuntu Live et le CD de démarrage DBAN, nous avons discuté du disque basé sur Windows
Guide complet pour activer la connexion automatique à Kodi sous Linux avec diverses distributions et environnements de bureau.
Découvrez comment exécuter Rocket League sur Linux malgré l
Découvrez comment exporter et importer efficacement des machines virtuelles utilisant le format OVF avec VMware Workstation 16 sur Linux.
Découvrez comment émuler des jeux Nintendo DS sur votre système Linux avec l