ajout page man ex1

2025-09-02 18:18:53 +02:00
parent 36196ff08e
commit d523d15990
1 changed files with 1 additions and 1 deletions
--- a/tp/tp1/README.md
+++ b/tp/tp1/README.md
@@ -41,7 +41,7 @@ int main(int argc, char * argv[])

 En utilisant  le (pseudo) fichier  `/proc/pid/maps`, vérifiez à quel  segment de
 pages  ces  adresses  appartiennent.  Vous  pouvez  utiliser  le  script  python
-[vmap.py](./src/scripts/vmap.py).
+[vmap.py](./src/scripts/vmap.py) ou `cat`.

 ```bash
 man proc_pid_maps