Wie finde ich einen Ordner auf meinem Server mit einem bestimmten Namen?

Ich habe irgendwo auf meinem Server ein Verzeichnis mit dem Namen "exampledocs". Ich habe versucht, den Standort zu finden mit:

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

und

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

und

grep "exampledocs" * --recursive

Nichts hat geklappt. Wie kann ich das von der Kommandozeile aus machen? Ich benutze Ubuntu Server 11.0.

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

Hinweis: Dies ist von Debian, aber es sollte funktionieren.

Das sollte auch funktionieren

find folder_full_path -name exampledocs -type d

locate exampledocs | grep /exampledocs$

Mit bashder globstarShell-Option und [[Auswertung von können wir rekursives Globbing und das Entfernen von Präfixen verwenden, um Verzeichnisse zu finden, die die erforderliche Zeichenfolge enthalten. So suche ich nach einem binOrdner:

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