結果 : linux gui diff tool