Utilisation de basename $(pwd) sont deux fourches inutiles et coûteuses .
echo "${PWD##*/}"
devrait faire l'affaire complètement dans le shell sans forks coûteux (hic :pour le répertoire racine, il s'agit de la chaîne vide).
Vous avez raison, c'est une commande rapide :
basename "$PWD"
2 façons d'ajouter des dossiers d'applications à la vue d'ensemble du shell GNOME
Shell Scripting Partie V :Fonctions dans Bash
Qu'est-ce que le Shell sous Linux ?
Exécuter des scripts Shell via un site Web ?
Comment écrire le chemin d'un dossier avec un espace dans son nom ??
La boucle while dans les scripts shell