**Titre :** Commandes non documentées - Test sur Debian Trixie

[jack-sparrow-code]

---

Titre : Commandes non documentées - Test sur Debian Trixie

Corps :

J'ai testé refpersys-in-c sur Debian Trixie (version actuelle) et le binaire se compile et s'exécute correctement.
Cependant, je constate que les commandes disponibles ne sont pas documentées.

La sortie de ./refpersys --version fonctionne et affiche les informations de build,
mais il n'y a pas de documentation accessible via :

• --help
• -h
• ou toute autre option d'aide standard

Cela rend difficile l'utilisation du logiciel pour les nouveaux utilisateurs.

---

Environnement testé :

• OS: Debian Trixie (Linux 6.12.95+deb13-amd64)
• Compiler: gcc (Debian 14.2.0-19) 14.2.0
• Build timestamp: 2026-07-18 12:35:24 PM CEST
• GTK version: 3.24.49
• Jansson library: 2.14
• libcurl version: libcurl/8.14.1

Suggestion :
Ajouter une documentation des commandes disponibles, soit via une option --help,
soit dans un fichier README ou une page de manuel.

---

Labels : documentation, enhancement

jean-christophe@blues-softwares:~/Documents/codes/refpersys-in-c$ ./refpersys --version
./refpersys - a Reflexive Persistent System - see refpersys.org
... is an open source symbolic artificial intelligence project.
	 email contact: <team@refpersys.org>
	 build timestamp: Sat 18 Jul 2026 12:35:24 PM CEST (1784370924)
	 top directory: /home/jean-christophe/Documents/codes/refpersys-in-c
	 short git id: b7377fe70b38902e+
	 full git id: b7377fe70b38902e435512c1180327ed59a73ea1+
	 last git tag: heads/main
	 last git commit: b7377fe70b38 Add OS check helper routines to install.sh
	 git remote origin URL: git@github.com:jack-sparrow-code/refpersys-in-c.git
	 md5sum of files: 8c6861c0e89a817cf71389bce2f40484
	 build makefile: /home/jean-christophe/Documents/codes/refpersys-in-c/Makefile
	 built with compiler: gcc (Debian 14.2.0-19) 14.2.0
	 GTK version: 3.24.49 (see gtk.org)
	 GNU libc version: 2.41 (see www.gnu.org/software/libc)
	 Jansson library runtime version: 2.14 (see digip.org/jansson/)
	 libcurl version: libcurl/8.14.1 OpenSSL/3.5.6 zlib/1.3.1 brotli/1.1.0 zstd/1.5.7 libidn2/2.3.8 libpsl/0.21.2 libssh2/1.11.1 nghttp2/1.64.0 nghttp3/1.8.0 librtmp/2.3 OpenLDAP/2.6.10 (see curl.se/libcurl)
	 src/main_rps.c was compiled on Jul 18 2026 at 12:35:14
	 Subdirectories:
	   .github/
	   .github/workflows/
	   external/
	   external/shflags/
	   generated/
	   include/
	   persistore/
	   src/
	   tools/
	 Files:
	   .gdbinit
	   .github/workflows/build.yml
	   .gitignore
	   .gitmodules
	   LICENSE
	   Makefile
	   README.md
	   Refpersys.h
	   generated/!README
	   generated/rps-constants.h
	   generated/rps-names.h
	   generated/rps-roots.h
	   include/assert_rps.h
	   include/kavl.h
	   include/oid_rps.h
	   include/terminal_rps.h
	   install.sh
	   persistore/!README
	   persistore/sp_8J6vNYtP5E812eCr5q-rps.json
	   refpersys-gdb.py
	   rps_manifest.json
	   src/agenda_rps.c
	   src/alloc_rps.c
	   src/composite_rps.c
	   src/dumper_rps.c
	   src/guigtk_rps.c
	   src/load_rps.c
	   src/main_rps.c
	   src/object_rps.c
	   src/oid_rps.c
	   src/primes_rps.c
	   src/scalar_rps.c
	   src/symbol_rps.c
	   tools/core.sh
	   tools/gdb-python-refpersys.py
	   tools/generate-gitid.sh
	   tools/generate-timestamp.sh
	   tools/os.sh
	   tools/pkg.sh
	 Current host: blues-softwares
	 This OS: Linux, release 6.12.95+deb13-amd64, version #1 SMP PREEMPT_DYNAMIC Debian 6.12.95-1 (2026-07-04)

REFPERSYS git b7377fe70b38902e+ exiting process 38680/rps-main on blues-softwares - 0.17 real 0.18 cpu seconds
0x7f265d8f52b0 @@libc.so.6+0x422b0
0x7f265d8f5379 @exit+0x19
0x5588839c44af main
	main_rps.c:1334
0x7f265d8dcca7 @@libc.so.6+0x29ca7
0x7f265d8dcd64 @__libc_start_main+0x84
0x5588839959b0 @_start+0x20
0xffffffffffffffff ???
jean-christophe@blues-softwares:~/Documents/codes/refpersys-in-c$ 
``