I have a developer working in Linux. He is developing html5 stuff that needs to be checked in to my project instance in Visual Studio Team System.
What kind of tools should he use to accomplish this?
You can use Team Explorer Everywhere which is an add-in for Eclipse that can connect to Visual Studio Team System (formerly known as Visual Studio Online) or Team Foundation Server. From there you can check-in code and use many other features of VSTS.