Как получить соответствующее имя пакета lib для конкретного файла заголовка [duplicate]

Обычно вы можете использовать popd, pushd и dirs для перехода между некоторыми папками. Но в вашем случае это отдельный пользовательский псевдоним, который вы можете определить в файле ~ / .bash_profile.

В примере:

# Change dir via find
# Usage: cdf (dir)
cdf() {
  pushd $(find . -name $1)
}

И затем cdf some_dir перейдет в папку игнорируя поддиры.

Пример Live для поиска точных имен папок (приглашение игнорировать):

~/$ cdf() { pushd $(find . -name $1); }
~/$ mkdir -p ab/cd/ef/gh/ij/kl
~/$ cdf kl
    ~/ab/cd/ef/gh/ij/kl ~/
~/$ pwd
     ~/ab/cd/ef/gh/ij/kl
kl$ popd # We're going back to our previous folder.
~/$ pwd
    ~/

К аналогичному псевдониму для папок, содержащих частичный текст:

cdf() { pushd $(find . -name \*$1\*); }

Пример файла .bash_profile.