Comment trouver un dossier sur mon serveur avec un certain nom?

J'ai un répertoire quelque part sur mon serveur avec le nom "exampledocs". J'ai essayé de trouver son emplacement en utilisant:

ls -d */ | grep -E 'exampledocs'

et

find * -regextype posix-extended \-regex 'exampledocs' \-type d

et

grep "exampledocs" * --recursive

Rien n'a fonctionné. Comment puis-je faire cela à partir de la ligne de commande? J'utilise Ubuntu Server 11.0.

find / -xdev 2>/dev/null -name "exampledocs" 

Note: Cela vient de Debian, mais ça devrait marcher.

Cela devrait aussi fonctionner

find folder_full_path -name exampledocs -type d

locate exampledocs | grep /exampledocs$

Avec bashl' globstaroption shell et l' [[évaluation de, nous pouvons utiliser la suppression récursive de globbing et de préfixe pour trouver les répertoires contenant la chaîne requise. Voici comment rechercher un bindossier:

bash-4.3$ shopt -s globstar
bash-4.3$ for f in ./**/* ; do [ -d "$f" ] && [[ "${f##*/}" =~ ^bin$ ]] && echo "$f" ; done
./bin
./Desktop/TODAY/bin