最後のディレクトリ名からログファイルを生成する

source2つのディレクトリパスがあり、パスが宛先であり、名前が最後のディレクトリ名であるdestinファイル名を生成しようとしています。logfldestin

• 入力データの例

  source="/home/hagbard/01cuneus"
  destin="/media/hc1"
  

• 必要な結果logflは次のとおりです。

  /media/hc1/01cuneus.log
  

以下を試しましたが、ファイル名が正しく構成されていません。

# set log file from name of last directory of SOURCE 
log="${source%/}"       # remove `/` if it occurs as last character
log="${source##*/}"     # gets last directory name from SOURCE
log="${destin%/}/$log"  # not absolutely necessary