version 1.108, 2012/01/17 14:44:13
|
version 1.110, 2012/03/01 10:14:08
|
Line 1
|
Line 1
|
/* |
/* |
================================================================================ |
================================================================================ |
RPL/2 (R) version 4.1.6 |
RPL/2 (R) version 4.1.7 |
Copyright (C) 1989-2012 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 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); |
|
|