関連ワード:  linux shell edit file    linux bash edit file    linux shell change file extension    linux bash change file extension    shell command edit file    linux bash change file permissions    linux bash modify file    linux bash file editor    linux shell script change file extension    how to edit a file in linux