#!/bin/sh
# -*- ksh -*-
# Only useful at Lyon 1 University
# It staticaly takes login names to create a mapping to real names.

(
echo "# -*- coding: latin-1 -*-"
echo "# Programme gnr par le script shell 'Scripts/nom_prenom'"

echo "real_names = {"
for I in P0204021 P0204038 P0204072 P0204505 P0301434 P0304887 P0306878 P0400409 P0400467 P0401778 P0401794 P0401881 P0402653 P0403218 P0403967 P0404074 P0404932 P0405120 P0405218 P0500556 P0501570 P0501789 P0502956 P0503719 P0504105 P0504399 P0504420 P0505012 P0506325 P0510159 P0604414 P0605763 P0607535

do
  id2nom $I |
  sed -e "s/^/'/" \
      -e "s/;/':('/" \
      -e "s/;/','/g" \
      -e "s/$/'),/"
done
echo "}"
) >real_names.py

