Les Midis de la bidouille

Les Midis de la bidouille sont des rendez-vous informels organisés environ tous les mois par le SED dans le but de sensibiliser les développeurs à différentes technologies ou logiciels. Les participants viennent avec leur ordinateur portable, et l'orateur leur propose des exercices pratiques pendant une heure pour pouvoir appréhender un outil ou une technologie.

23/11/2017 - Introduction à Cmake - Marc Fuentes
Org Html Marc Fuentes

Introduction à Cmake

23/11/2017 - GitLab-CI - Florent Pruvost
Org Florent Pruvost

Présentation de gitlab-ci, le système d'intégration continue de la plateforme nationale Inria GitLab

XX/04/2017 - SonarQube Florent Pruvost, Hervé Mathieu
Org Florent Pruvost, Hervé Mathieu

Introduction au tableau de bord SonarQube pour améliorer la qualité du code

23/05/2017 - Docker Louise-Amélie Schmitt, David Sherman
Présentation David Commandes Amélie Louise-Amélie Schmitt, David Sherman

Présentation de l'application de deploiement d'images systèmes fondée sur des conteneurs logiciels

23/03/2017 - Intéractions Gitlab/Jenkins - Florent Pruvost , Marc Fuentes
(Org) Florent Pruvost, Marc Fuentes

Utilisation conjointe des plate-formes Gitlab et CI /Jenkins

16/03/2017 - Gitlab - François Rué
(Org) - François Rué

Présentation de la plate-forme nationale Gitlab : Projets, Utilisateurs, Permissions, Demandes de Fusion (MR), etc...

09/02/2017 - Bonnes pratiques collaboratives avec Git - Ludovic Courtès
(Org) - Ludovic Courtès

Présentation des méthodes collaboratives de travail avec Git.

26/01/2017 - Zsh - Cyril Bordage
(Org)(Archive config + org) - Cyril Bordage

Présentation du Shell Zsh : complétion, expansion de noms de fichiers et greffons externes

15/12/2016 - Vim pour la programmation - Marc Fuentes
(Présentation) - Marc Fuentes

On présente divers outils (ctags, fugitive, grep) pour utiliser Vim commenvironnement de développement intégré

10/10/2016 - OpenStreetMap - Vincent Bergeot
(Présentation) - Vincent Bergeot

Présentation de la Base de données OpenStreetMap, des divers outils que l'on peut utiliser avec et de comment contribuer ?

14/06/2016 - Inkscape II - Cyril bordage
- Cyril Bordage

Quelques fonctions avancées dans Inkscape

24/05/2016 - Inkscape - Cyril bordage
- Cyril Bordage

Introduction aux fonctions de base de Inkscape

11/02/2016 - tmux - Marc Fuentes
(Org) - Marc Fuentes

On présente l'utilisation basique de tmux, un multiplexeur de terminal.

14/01/2016 - Raspberry Pi (II) - Thibault Lainé
(archive orgmode+images) (html) - Thibault Lainé

Raspberry Pi : les Raspberry Pi sont des ordinateurs miniaturisés qui permettent facilement de faire des objets connectés

05/11/2015 - Raspberry Pi - Thibault Lainé
(archive orgmode+images) (html) - Thibault Lainé

Raspberry Pi : les Raspberry Pi sont des ordinateurs miniaturisés qui permettent facilement de faire des objets connectés

14/09/2015 - Git avancé (II) - Brice Goglin
(Org) - Brice Goglin

Brice a présenté les points non abordés dans l'édition précédente.

20/08/2015 - Présentation de SLURM - Redouane Bouchouirbat
(archive TP) - Redouane Bouchouirbat

Présentation de SLURM : SLURM est l'ordonnanceur actuellement utilisé sur la nouvelle plate-forme PLAFRIM II.

11/06/2015 - Introduction à OpenMP - Pierre-André Wacrenier
(archive TP) - Pierre-André Wacrenier

Introduction à OpenMP: Le cadriciel OpenMP permet de faire du parallèlisme à mémoire distribuée d'une façon accesible en ajoutant des #pragmas à un code séquentiel.

20/03/2015 - Présentation d'Orgmode - Ludovic Courtès
(Org) - Ludovic Courtès

Présentation d'Orgmode : une extension de GNU Emacs permettant de gérer des listes, des agendas ou de planifier des projets.

03/02/2015 - Utilisation de SSH - Guillaume Cassonnet
(Org) - Guillaume Cassonnet

Une présentation par un membre du Service Informatique du Centre, de l'outil ssh, avec notamment les tunnels avant, arrière, le transfert de fichier et les agents ssh

16/01/2015 - Déverminage parallèle - Cédric Lachat
(Org) - Cédric Lachat

Une introduction au déverminage parallèle (MPI) en utilisant des outils tels que Valgrind et Gnu Gdb.

05/12/2014 - Git avancé - Brice Goglin
(Org) - Brice Goglin

Une utilisation avancée de Git avec notamment :

  • Commandes de bases: show, status, log, commit, add, pull, push, merge, branch.
  • Les bases des branches locales et distantes.
  • Résoudre les conflits dans pull ou merge.
  • Connaître la différence entre les changements staged ou non.
  • Les descripteurs de commits HEAD^^, HEAD~5, etc.
  • commandes avancées : rebase, cherry-pick, reset, stash, reflog, clean, blame,

7/11/2014 - Utilisation de Awk - Nathalie Furmento
(Org) - Nathalie Furmento
16/10/2014 - Utilisation de GNU Emacs pour le développement - Ludovic Courtès
(Org) - Ludovic Courtès
02/10/2014 - Outils shell de base - Cédric Lachat
-Cédric Lachat