version 1.106, 2011/12/16 13:46:56
|
version 1.110, 2012/03/01 10:14:08
|
Line 1
|
Line 1
|
/* |
/* |
================================================================================ |
================================================================================ |
RPL/2 (R) version 4.1.5 |
RPL/2 (R) version 4.1.7 |
Copyright (C) 1989-2011 Dr. BERTRAND Joël |
Copyright (C) 1989-2012 Dr. BERTRAND Joël |
|
|
This file is part of RPL/2. |
This file is part of RPL/2. |
|
|
Line 345 rplinit(int argc, char *argv[], char *en
|
Line 345 rplinit(int argc, char *argv[], char *en
|
|
|
if ((*s_etat_processus).langue == 'F') |
if ((*s_etat_processus).langue == 'F') |
{ |
{ |
printf("+++Copyright (C) 1989 à 2010, 2011 BERTRAND Joël\n"); |
printf("+++Copyright (C) 1989 à 2011, 2012 BERTRAND Joël\n"); |
} |
} |
else |
else |
{ |
{ |
printf("+++Copyright (C) 1989 to 2010, 2011 BERTRAND Joel\n"); |
printf("+++Copyright (C) 1989 to 2011, 2012 BERTRAND Joel\n"); |
} |
} |
|
|
if (getenv("HOME") != NULL) |
if (getenv("HOME") != NULL) |
Line 2544 rplinit(int argc, char *argv[], char *en
|
Line 2544 rplinit(int argc, char *argv[], char *en
|
home, ds_fichier_historique); |
home, ds_fichier_historique); |
|
|
using_history(); |
using_history(); |
|
|
|
// Pour pouvoir utiliser le keymap avant le premier |
|
// appel à readline(). |
|
rl_initialize(); |
|
|
erreur_historique = read_history( |
erreur_historique = read_history( |
(*s_etat_processus).nom_fichier_historique); |
(*s_etat_processus).nom_fichier_historique); |
|
|