Vous cherchez à vous amuser un peu avec vos fichiers ou à faire une farce malicieuse? Avec un simple script batch, vous pouvez renommer tous les fichiers dans un répertoire de manière aléatoire.

Mise à jour: Une fonction "Annuler" a été ajoutée au script.

Il suffit de copier notre script RandomNames.bat dans un dossier et de l'exécuter.

Avant:

Après:

Utilise

Alors qu'il peut-être pas immédiatement évident, il y a plusieurs utilisations pratiques pour cela:

• Renommer facilement des fichiers d'image pour randomiser l'ordre dans lequel ils apparaissent dans les diaporamas ou sur les cadres numériques
• Une blague (voir l'avertissement ci-dessous).
• Dans le cas où le bouton "aléatoire" de votre lecteur MP3 n'est pas assez geek pour vous.

Options

Il y a quelques options que vous pouvez configurer dans le script:

• Ajouter les noms de fichiers Au lieu de renommer le fichier entier, une chaîne aléatoire est ajoutée au début de chaque nom de fichier
• Annuler le renommage -

Vous pouvez définir ces options en ouvrant le fichier RandomNames.bat dans le Bloc-notes et en le modifiant en conséquence.

Avertissement!

Lorsque le script s'exécute, il vous avertit que la suppression du fichier de traduction créé (__Translation.txt) vous empêchera de pouvoir annuler le script. renommer

Inutile de dire que ce serait une bonne idée de sauvegarder vos fichiers originaux avant de les renommer tous.

Utilisez de manière responsable et amusez-vous!

Téléchargez le script RandomNames de How-To Geek

Affecter des adresses IP statiques fixes aux périphériques sur le réseau domestique

Si vous êtes comme moi, vous avez probablement 30 appareils ou plus connectés à votre réseau domestique: téléphones, imprimantes, périphériques de stockage connectés au réseau, téléviseurs, lecteurs Blu-ray, consoles de jeux, lecteurs multimédias, appareils IoT et enfin ordinateurs. Ouf! Avec tous c

(How-to)

Installation des extensions dans Microsoft Edge

Microsoft Edge prend enfin en charge les extensions de navigateur grâce à la mise à jour anniversaire de Windows 10. Les extensions Edge sont maintenant disponibles dans le Windows Store, mais seulement quelques-unes sont initialement disponibles. Microsoft publiera également un outil qui peut facilement convertir les extensions Chrome existantes en extensions Edge, car les deux sont très similaires.

(how-to)