これらの2つの例を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