From 7e9e1730ed688711706a46aae132b825d319ac16 Mon Sep 17 00:00:00 2001 From: Millian Poquet <millian.poquet@irit.fr> Date: Sun, 23 Oct 2022 15:33:38 +0200 Subject: [PATCH] move files to repo's root --- 221018-pipe-example/.gitignore => .gitignore | 0 221018-pipe-example/README.md => README.md | 0 221018-pipe-example/build.ninja => build.ninja | 0 221018-pipe-example/default.nix => default.nix | 0 .../fig => fig}/00-parent-begin.svg | 0 {221018-pipe-example/fig => fig}/01-parent-pipe.svg | 0 {221018-pipe-example/fig => fig}/02-parent-fork.svg | 0 .../fig => fig}/03-parent-fork-focus-pipe.svg | 0 .../fig => fig}/04-parent-switch.svg | 0 .../fig => fig}/05-parent-close.svg | 0 .../fig => fig}/06-parent-close-done.svg | 0 .../fig => fig}/07-parent-read-blocked.svg | 0 .../fig => fig}/08-child-switch.svg | 0 {221018-pipe-example/fig => fig}/09-child-close.svg | 0 .../fig => fig}/10-child-close-done.svg | 0 {221018-pipe-example/fig => fig}/11-child-dup2.svg | 0 .../fig => fig}/12-child-dup2-done.svg | 0 .../fig => fig}/13-child-dup2-done2.svg | 0 {221018-pipe-example/fig => fig}/14-child-exec.svg | 0 .../fig => fig}/15-child-exec-done.svg | 0 .../fig => fig}/16-parent-read-loop.svg | 0 {221018-pipe-example/fig => fig}/17-child-exit.svg | 0 .../fig => fig}/18-child-exit-done.svg | 0 .../18b-child-exit-done-deadlock-note.svg | 0 .../fig => fig}/19-parent-close.svg | 0 .../fig => fig}/20-parent-close-done.svg | 0 {221018-pipe-example/fig => fig}/pipe-base.png | Bin .../fig => fig}/pipe-figure-base.svg | 0 {221018-pipe-example/fig => fig}/pipe-purple.png | Bin {221018-pipe-example/fig => fig}/pipe-yellow.png | Bin .../pipe-example.c => pipe-example.c | 0 221018-pipe-example/slides.tex => slides.tex | 0 32 files changed, 0 insertions(+), 0 deletions(-) rename 221018-pipe-example/.gitignore => .gitignore (100%) rename 221018-pipe-example/README.md => README.md (100%) rename 221018-pipe-example/build.ninja => build.ninja (100%) rename 221018-pipe-example/default.nix => default.nix (100%) rename {221018-pipe-example/fig => fig}/00-parent-begin.svg (100%) rename {221018-pipe-example/fig => fig}/01-parent-pipe.svg (100%) rename {221018-pipe-example/fig => fig}/02-parent-fork.svg (100%) rename {221018-pipe-example/fig => fig}/03-parent-fork-focus-pipe.svg (100%) rename {221018-pipe-example/fig => fig}/04-parent-switch.svg (100%) rename {221018-pipe-example/fig => fig}/05-parent-close.svg (100%) rename {221018-pipe-example/fig => fig}/06-parent-close-done.svg (100%) rename {221018-pipe-example/fig => fig}/07-parent-read-blocked.svg (100%) rename {221018-pipe-example/fig => fig}/08-child-switch.svg (100%) rename {221018-pipe-example/fig => fig}/09-child-close.svg (100%) rename {221018-pipe-example/fig => fig}/10-child-close-done.svg (100%) rename {221018-pipe-example/fig => fig}/11-child-dup2.svg (100%) rename {221018-pipe-example/fig => fig}/12-child-dup2-done.svg (100%) rename {221018-pipe-example/fig => fig}/13-child-dup2-done2.svg (100%) rename {221018-pipe-example/fig => fig}/14-child-exec.svg (100%) rename {221018-pipe-example/fig => fig}/15-child-exec-done.svg (100%) rename {221018-pipe-example/fig => fig}/16-parent-read-loop.svg (100%) rename {221018-pipe-example/fig => fig}/17-child-exit.svg (100%) rename {221018-pipe-example/fig => fig}/18-child-exit-done.svg (100%) rename {221018-pipe-example/fig => fig}/18b-child-exit-done-deadlock-note.svg (100%) rename {221018-pipe-example/fig => fig}/19-parent-close.svg (100%) rename {221018-pipe-example/fig => fig}/20-parent-close-done.svg (100%) rename {221018-pipe-example/fig => fig}/pipe-base.png (100%) rename {221018-pipe-example/fig => fig}/pipe-figure-base.svg (100%) rename {221018-pipe-example/fig => fig}/pipe-purple.png (100%) rename {221018-pipe-example/fig => fig}/pipe-yellow.png (100%) rename 221018-pipe-example/pipe-example.c => pipe-example.c (100%) rename 221018-pipe-example/slides.tex => slides.tex (100%) diff --git a/221018-pipe-example/.gitignore b/.gitignore similarity index 100% rename from 221018-pipe-example/.gitignore rename to .gitignore diff --git a/221018-pipe-example/README.md b/README.md similarity index 100% rename from 221018-pipe-example/README.md rename to README.md diff --git a/221018-pipe-example/build.ninja b/build.ninja similarity index 100% rename from 221018-pipe-example/build.ninja rename to build.ninja diff --git a/221018-pipe-example/default.nix b/default.nix similarity index 100% rename from 221018-pipe-example/default.nix rename to default.nix diff --git a/221018-pipe-example/fig/00-parent-begin.svg b/fig/00-parent-begin.svg similarity index 100% rename from 221018-pipe-example/fig/00-parent-begin.svg rename to fig/00-parent-begin.svg diff --git a/221018-pipe-example/fig/01-parent-pipe.svg b/fig/01-parent-pipe.svg similarity index 100% rename from 221018-pipe-example/fig/01-parent-pipe.svg rename to fig/01-parent-pipe.svg diff --git a/221018-pipe-example/fig/02-parent-fork.svg b/fig/02-parent-fork.svg similarity index 100% rename from 221018-pipe-example/fig/02-parent-fork.svg rename to fig/02-parent-fork.svg diff --git a/221018-pipe-example/fig/03-parent-fork-focus-pipe.svg b/fig/03-parent-fork-focus-pipe.svg similarity index 100% rename from 221018-pipe-example/fig/03-parent-fork-focus-pipe.svg rename to fig/03-parent-fork-focus-pipe.svg diff --git a/221018-pipe-example/fig/04-parent-switch.svg b/fig/04-parent-switch.svg similarity index 100% rename from 221018-pipe-example/fig/04-parent-switch.svg rename to fig/04-parent-switch.svg diff --git a/221018-pipe-example/fig/05-parent-close.svg b/fig/05-parent-close.svg similarity index 100% rename from 221018-pipe-example/fig/05-parent-close.svg rename to fig/05-parent-close.svg diff --git a/221018-pipe-example/fig/06-parent-close-done.svg b/fig/06-parent-close-done.svg similarity index 100% rename from 221018-pipe-example/fig/06-parent-close-done.svg rename to fig/06-parent-close-done.svg diff --git a/221018-pipe-example/fig/07-parent-read-blocked.svg b/fig/07-parent-read-blocked.svg similarity index 100% rename from 221018-pipe-example/fig/07-parent-read-blocked.svg rename to fig/07-parent-read-blocked.svg diff --git a/221018-pipe-example/fig/08-child-switch.svg b/fig/08-child-switch.svg similarity index 100% rename from 221018-pipe-example/fig/08-child-switch.svg rename to fig/08-child-switch.svg diff --git a/221018-pipe-example/fig/09-child-close.svg b/fig/09-child-close.svg similarity index 100% rename from 221018-pipe-example/fig/09-child-close.svg rename to fig/09-child-close.svg diff --git a/221018-pipe-example/fig/10-child-close-done.svg b/fig/10-child-close-done.svg similarity index 100% rename from 221018-pipe-example/fig/10-child-close-done.svg rename to fig/10-child-close-done.svg diff --git a/221018-pipe-example/fig/11-child-dup2.svg b/fig/11-child-dup2.svg similarity index 100% rename from 221018-pipe-example/fig/11-child-dup2.svg rename to fig/11-child-dup2.svg diff --git a/221018-pipe-example/fig/12-child-dup2-done.svg b/fig/12-child-dup2-done.svg similarity index 100% rename from 221018-pipe-example/fig/12-child-dup2-done.svg rename to fig/12-child-dup2-done.svg diff --git a/221018-pipe-example/fig/13-child-dup2-done2.svg b/fig/13-child-dup2-done2.svg similarity index 100% rename from 221018-pipe-example/fig/13-child-dup2-done2.svg rename to fig/13-child-dup2-done2.svg diff --git a/221018-pipe-example/fig/14-child-exec.svg b/fig/14-child-exec.svg similarity index 100% rename from 221018-pipe-example/fig/14-child-exec.svg rename to fig/14-child-exec.svg diff --git a/221018-pipe-example/fig/15-child-exec-done.svg b/fig/15-child-exec-done.svg similarity index 100% rename from 221018-pipe-example/fig/15-child-exec-done.svg rename to fig/15-child-exec-done.svg diff --git a/221018-pipe-example/fig/16-parent-read-loop.svg b/fig/16-parent-read-loop.svg similarity index 100% rename from 221018-pipe-example/fig/16-parent-read-loop.svg rename to fig/16-parent-read-loop.svg diff --git a/221018-pipe-example/fig/17-child-exit.svg b/fig/17-child-exit.svg similarity index 100% rename from 221018-pipe-example/fig/17-child-exit.svg rename to fig/17-child-exit.svg diff --git a/221018-pipe-example/fig/18-child-exit-done.svg b/fig/18-child-exit-done.svg similarity index 100% rename from 221018-pipe-example/fig/18-child-exit-done.svg rename to fig/18-child-exit-done.svg diff --git a/221018-pipe-example/fig/18b-child-exit-done-deadlock-note.svg b/fig/18b-child-exit-done-deadlock-note.svg similarity index 100% rename from 221018-pipe-example/fig/18b-child-exit-done-deadlock-note.svg rename to fig/18b-child-exit-done-deadlock-note.svg diff --git a/221018-pipe-example/fig/19-parent-close.svg b/fig/19-parent-close.svg similarity index 100% rename from 221018-pipe-example/fig/19-parent-close.svg rename to fig/19-parent-close.svg diff --git a/221018-pipe-example/fig/20-parent-close-done.svg b/fig/20-parent-close-done.svg similarity index 100% rename from 221018-pipe-example/fig/20-parent-close-done.svg rename to fig/20-parent-close-done.svg diff --git a/221018-pipe-example/fig/pipe-base.png b/fig/pipe-base.png similarity index 100% rename from 221018-pipe-example/fig/pipe-base.png rename to fig/pipe-base.png diff --git a/221018-pipe-example/fig/pipe-figure-base.svg b/fig/pipe-figure-base.svg similarity index 100% rename from 221018-pipe-example/fig/pipe-figure-base.svg rename to fig/pipe-figure-base.svg diff --git a/221018-pipe-example/fig/pipe-purple.png b/fig/pipe-purple.png similarity index 100% rename from 221018-pipe-example/fig/pipe-purple.png rename to fig/pipe-purple.png diff --git a/221018-pipe-example/fig/pipe-yellow.png b/fig/pipe-yellow.png similarity index 100% rename from 221018-pipe-example/fig/pipe-yellow.png rename to fig/pipe-yellow.png diff --git a/221018-pipe-example/pipe-example.c b/pipe-example.c similarity index 100% rename from 221018-pipe-example/pipe-example.c rename to pipe-example.c diff --git a/221018-pipe-example/slides.tex b/slides.tex similarity index 100% rename from 221018-pipe-example/slides.tex rename to slides.tex -- GitLab