#!/bin/sh echo " dump2sql.sh : conversion des dumps de JeuxDeMots vers du sql (mysql)." >&2 echo " La progression est affichée avec pv. Si vous n'avez pas pv, supprimez la ligne correspondante dans ce script." >&2 echo " Et c'est parti !" >&2 echo >&2 # game_played(type) : 0=partie de référence initiale, 1=partie d'un joueur. cat <