Как объединить эти два примера с pushd и whoami для изменения каталога?Bash script получить пользователя и изменить dir
Я знаю, что я могу изменить директорию, как это:
#!/bin/bash
pushd /home/mike/Pictures > /dev/null
# do something in the new dir
ls
popd > /dev/null
И я знаю, что могу получить имя пользователя, как это:
#!/bin/bash
theuser=`whoami`
echo $theuser
Э-э ... изменить его к чему? –
Вам действительно не нужно 'whoami', если я правильно понимаю ваш запрос. Просто 'pushd -n ~/Pictures' будет делать. – chrisaycock