A maneira mais fácil é se você conseguir chegar lá a partir do nome do arquivo. Por exemplo, se o nome do arquivo selecionado for /mnt/home/$USER/shell_logs/20140326.log
, você poderá chegar a outro arquivo no mesmo diretório com uma extensão diferente, ou outro arquivo em outro diretório facilmente.
Vamos primeiro analisar a remoção da extensão:
timings="/mnt/home/$USER/shell_logs/20140326.timing" # just for testing
log="${timings%%.*}.log"
echo $log
E aqui está como remover o caminho principal para mudar para um diretório diferente:
log="/mnt/home/$USER/timings/${timings##*/}"