From 4ffaae0fcb2a7050f55191886843a954137352e7 Mon Sep 17 00:00:00 2001 From: Marco van Wieringen Date: Sat, 14 Sep 2013 10:03:15 +0200 Subject: [PATCH] Tweak layout of options block. --- manuals/en/main/dirdconf-fileset.tex | 44 +++++++++++++++++++++------- manuals/en/main/pools.tex | 6 +++- manuals/en/main/recycling.tex | 8 +++-- 3 files changed, 45 insertions(+), 13 deletions(-) diff --git a/manuals/en/main/dirdconf-fileset.tex b/manuals/en/main/dirdconf-fileset.tex index 966719f..06b38ca 100644 --- a/manuals/en/main/dirdconf-fileset.tex +++ b/manuals/en/main/dirdconf-fileset.tex @@ -126,7 +126,9 @@ \section{FileSet Resource} \footnotesize \begin{verbatim} Include { - Options { compression=GZIP } + Options { + compression=GZIP + } File = / File = /usr } @@ -1039,7 +1041,9 @@ \section{FileSet Resource} \footnotesize \begin{verbatim} Include { - Options { compression=GZIP } + Options { + compression=GZIP + } @/home/files/my-files } \end{verbatim} @@ -1087,7 +1091,9 @@ \section{FileSet Resource} \begin{verbatim} Include { - Options { signature = SHA1 } + Options { + signature = SHA1 + } File = "|sh -c 'df -l | grep \"^/dev/hd[ab]\" | grep -v \".*/tmp\" \ | awk \"{print \\$6}\"'" } @@ -1135,7 +1141,10 @@ \section{FileSet Resource} FileSet { Name = "All local partitions" Include { - Options { signature=SHA1; onefs=yes; } + Options { + signature=SHA1 + onefs=yes + } File = "\\|bash -c \"df -klF ufs | tail +2 | awk '{print \$6}'\"" } } @@ -1155,7 +1164,11 @@ \section{FileSet Resource} \begin{verbatim} Include { - Options { signature = SHA1; onfs=no; fstype=ext2 } + Options { + signature = SHA1 + onfs=no + fstype=ext2 + } File = / } \end{verbatim} @@ -1175,7 +1188,9 @@ \section{FileSet Resource} \footnotesize \begin{verbatim} Include { - Options { signature = SHA1 } + Options { + signature = SHA1 + } File = "