Как я могу объединить эти два примера с pushd и whoami, чтобы изменить каталог?
Я знаю, что могу изменить каталог следующим образом:
#!/bin/bash
pushd /home/mike/Pictures > /dev/null
# do something in the new dir
ls
popd > /dev/null
И я знаю, что могу получить имя пользователя вот так:
#!/bin/bash
theuser=`whoami`
echo $theuser