Replace all dots in filenames except the extension on Linux
for f in .; do pre="${f%.}"; suf="${f##.}"; mv -i -f -- "$f" "${pre//./_}.${suf}"; done
for f in .; do pre="${f%.}"; suf="${f##.}"; mv -i -f -- "$f" "${pre//./_}.${suf}"; done
ls -1 | wc -l
ls -l . | egrep -c '^-'
sed -i 's/geteuid/getppid/' /usr/bin/vlc Explication : Le script d’initialisation vérifie si l’UID est égal à zéro. Zéro est réservé à l’utilisateur root. Utiliser sed pour remplacer geteuid par getppid trompe le script d’initialisation, car getppid est toujours > 0. Bien que l’exécution de VLC en tant que root ne soit pas recommandée, cela fonctionne. Soyez conscient des risques et bien évidemment, ne le faites pas dans des environnements de production.
Étape 1 : Ajouter le dépôt PPA Mozilla Daily Ouvrez d’abord votre fenêtre de terminal. Une fois celle-ci ouverte, saisissez la commande ci-dessous pour ajouter le dépôt PPA Mozilla Daily Ubuntu à votre système : sudo add-apt-repository ppa:ubuntu-mozilla-daily/ppa Vous serez invité à entrer votre mot de passe. Procédez à cette opération, puis appuyez sur Entrée pour confirmer l’ajout du dépôt. Étape 2 : Mettre à jour la liste des paquets Après avoir ajouté le dépôt, il est essentiel de mettre à jour la liste des paquets afin d’obtenir les dernières versions logicielles. Tapez la commande suivante : ...