関連ワード:  change file format linux    change file extension linux    change file type linux    change file type linux command    change file extension linux terminal    change file extension linux command    change file extension linux command line    convert file format linux    vi set file format linux    batch change file extension linux