From 5011c961eb63b819fa4eca802667ae2cbdb9bef2 Mon Sep 17 00:00:00 2001 From: Bertrand Neron <bneron@pasteur.fr> Date: Wed, 7 Sep 2022 00:45:54 +0200 Subject: [PATCH] fix rst syntax in file_system --- source/Unix/file_system.rst | 26 +++++++++++++------------- 1 file changed, 13 insertions(+), 13 deletions(-) diff --git a/source/Unix/file_system.rst b/source/Unix/file_system.rst index 8bfdb50..f16045a 100644 --- a/source/Unix/file_system.rst +++ b/source/Unix/file_system.rst @@ -37,7 +37,7 @@ do you already know a tree structure in biology? :width: 500px file system tree structure -========================= +========================== .. figure:: ../_static/unix/images/UnixDirectoryTree.png :class: align-center @@ -272,20 +272,20 @@ mv warning The **mv** command has not the same effect depending if src and dest are directories or files. -+--------------+-----------+------------------------------------------------------------+ -| src type | dest type | action | -+==============+===========+============================================================+ ++--------------+-----------+------------------------------------------------------------=+ +| src type | dest type | action | ++==============+===========+=============================================================+ | one file | file | the src file is renamed into dest file | -| | | beware if dest file already exists it's lost | -+--------------+-----------+------------------------------------------------------------+ +| | | beware if dest file already exists it's lost | ++--------------+-----------+-------------------------------------------------------------+ | several file | file | all src files are lost only the last one is renamed as dest | -+--------------+-----------+------------------------------------------------------------+ -| file | dir | all src files are moved in dest directory | -| | | dest directory must exists. If not it is consider as a file | -+--------------+-----------+------------------------------------------------------------+ -| dir | dir | all src directories are moved in dest directory | -| | | the dest directory must already exists | -+--------------+-----------+------------------------------------------------------------+ ++--------------+-----------+-------------------------------------------------------------+ +| file | dir | all src files are moved in dest directory | +| | | dest directory must exists. If not it is consider as a file | ++--------------+-----------+-------------------------------------------------------------+ +| dir | dir | all src directories are moved in dest directory | +| | | the dest directory must already exists | ++--------------+-----------+-------------------------------------------------------------+ Exercise: --------- -- GitLab