#!/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 p0005030  p0204564  p0207381  p0302810  p0305057  p0403746  p0604399 p0100606  p0204566  p0300735  p0302997  p0400550  p0404519 p0203073  p0204698  p0301023  p0304541  p0401856  p0505708 p0203624  p0204780  p0301112  p0304792  p0402695  p0510291

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

