Introduction

This guide aims to be like a “bedside book” for some common tools used in most software projects at Inria.

Tools

SSH

Git

Platforms

If you have any remarks, suggestions, you can contact us at mailto:sed-pro@inria.fr.

next

Overview