結果 : how to run git extensions on linux