renamed index.txt files to default.idx

it is probably clearer that the default index file is called
"default.idx" instead of index.txt

Author: phyver

doc/mission.md

@@ -442,13 +442,13 @@ which make testing easier.
 Those files are not included in GameShell archives.
 
 
-Adding the mission to the `index.txt` file
-----------------------------------------
+Adding the mission to the `default.idx` file
+------------------------------------------
 
 When run without arguments GameShell will get the list of mission from the
-file `$GSH_ROOT/missions/index.txt`.
+file `$GSH_ROOT/missions/default.idx`.
 
-You can give a list of `index.txt` files and mission directories as arguments
+You can give a list of `default.idx` files and mission directories as arguments
 of GameShell if you want to customize the list / order of missions. This is
 particularly useful when testing a new mission:
 ```sh
@@ -464,7 +464,7 @@ Dummy missions
 
 "Dummy" missions are used to share data between missions. A mission is "dummy"
 * either when it doesn't contain a `check.sh` script,
-* or it is listed with a "`!`" in front of its name in the `index.txt` file.
+* or it is listed with a "`!`" in front of its name in the `default.idx` file.
 
 A dummy mission is used during the initialisation phase, so that it can
 contain a `static.sh` file. It can for example be used to share executable
@@ -483,7 +483,7 @@ cp "$MISSION_DIR/../00_shared/ascii-art/elephant.txt" "$GSH_HOME/Jungle/"
 ```
 
 _Note:_ don't forget to include dummy missions in the corresponding
-`index.txt` file, or it won't be included in GameShell executable archives by
+`default.idx` file, or it won't be included in GameShell executable archives by
 default.
 
 

i18n/start-full-help/en.txt

@@ -3,7 +3,7 @@ usage:
 
 Possible values for INDEX_FILE<n> are: $GSH_INDEX_FILES.
 
-If no INDEX_FILE is given, defaults to index.txt.
+If no INDEX_FILE is given, defaults to default.idx.
 
 Index files are ignored when continuing from a save file.
 

i18n/start-full-help/fr.txt

@@ -3,7 +3,7 @@ utilisation :
 
 Les valeurs possibles pour INDEX_FILE<n> sont : $GSH_INDEX_FILES.
 
-Si aucun INDEX_FILE n'est donné, utilise index.txt par défaut.
+Si aucun INDEX_FILE n'est donné, utilise default.idx par défaut.
 
 Les fichier index sont ignorés lorsqu'on reprend une session à partir d'un 
 fichier de sauvegarde.

i18n/start-help/en.txt

@@ -3,7 +3,7 @@ usage:
 
 Possible values for INDEX_FILE<n> are: $GSH_INDEX_FILES.
 
-If no INDEX_FILE is given, defaults to index.txt.
+If no INDEX_FILE is given, defaults to default.idx.
 
 Index files are ignored when continuing from a save file.
 

i18n/start-help/fr.txt

@@ -3,7 +3,7 @@ utilisation :
 
 Les valeurs possibles pour INDEX_FILE<n> sont : $GSH_INDEX_FILES.
 
-Si aucun INDEX_FILE n'est donné, utilise index.txt par défaut.
+Si aucun INDEX_FILE n'est donné, utilise default.idx par défaut.
 
 Les fichier index sont ignorés lorsqu'on reprend une session à partir d'un 
 fichier de sauvegarde.

lib/gsh.sh

@@ -119,7 +119,7 @@ _gsh_resetstatic() {
       printf "." >&2
     fi
 
-  done < "$GSH_CONFIG/current_index.txt"
+  done < "$GSH_CONFIG/index.idx"
   echo "" >&2
 
   unset MISSION_DIR DOMAIN

missions/basic/index.txt renamed to missions/basic/default.idx

@@ -1,6 +1,6 @@
 # default Gameshell missions order
 
-  basic/index.txt
+  basic/default.idx
   misc/01_cal_nostradamus
   intermediate/01_alias_la
   misc/02_nano_journal
@@ -13,12 +13,12 @@
   finding_files_maze/01_ls_cd
   finding_files_maze/02_tree
   finding_files_maze/03_find_1
-  pipe_intro_book_of_potions/index.txt
-  processes/index.txt
-  stdin_stdout_stderr/index.txt
-  permissions/index.txt
+  pipe_intro_book_of_potions/default.idx
+  processes/default.idx
+  stdin_stdout_stderr/default.idx
+  permissions/default.idx
   finding_files_maze/04_find_2
   finding_files_maze/05_find_xargs_grep
-  pipes_merchant_stall/index.txt
+  pipes_merchant_stall/default.idx
   misc/03_tr_caesar_shift
   FINAL_MISSION