Wicri:IndiumV3/Paramètres, data
De Wicri Terre
Cette page introduit les paramètres de génération des données de la version IndiumV3 du « Serveur d'exploration sur l'indium (Pascal) ».
Voir aussi : Wicri:IndiumV3/Paramètres, fr - paramètres de navigation.
La table des paramètres
| type | rubrique | valeur |
|---|---|---|
| areaCode | Area | IndiumV3 |
| langs | Area | fr |
| listStreams | Area | Main ; France ; Chine ; Russie |
| typeStream | Area/France | Explor:IndexSelect |
| typeStream | Area/Russie | Explor:IndexSelect |
| selectOrCommand | Area/Russie/Extraction | :AffPays.i ; Russie |
| selectOrCommand | Area/France/Extraction | :AffPays.i ; France |
| typeStream | Area/Chine | Explor:IndexSelect |
| selectOrCommand | Area/Chine/Extraction | :AffPays.i ; République populaire de Chine |
| typeStream | Area/Main | Inist:StanalystBig |
| Inist:standardImportFile | Area/Main/Corpus | inistStandard.txt |
| Inist:serveurImportFile | Area/Main/Corpus | inistServer.txt |
Mise en œuvre
WicriGetPage -l wicri-terre.fr -p "Wicri:IndiumV3/Paramètres, data"\
> IndiumV3/Import/WicriAreaParam.data.wiki
Ensuite:
WicriGetPage -l wicri-terre.fr -p "Wicri:IndiumV3/Paramètres, fr"\
> IndiumV3/Import/WicriAreaSiteParam.fr.wiki
Enfin:
sh IndiumV3/bin/AreaReset.sh
ExplorAreaDataCreate -d IndiumV3
make -f IndiumV3/bin/area.mk
sh IndiumV3/bin/AreaCreateSite.fr.sh
Pour les mises à jour :
ExplorAreaDataUpdate -d IndiumV3
make -f IndiumV3/bin/area.mk
sh IndiumV3/bin/AreaResetSite.fr.sh
sh IndiumV3/bin/AreaCreateSite.fr.sh
