diff options
| author | Pierre Labastie <pierre.labastie@neuf.fr> | 2021-09-13 07:35:53 +0200 |
|---|---|---|
| committer | Pierre Labastie <pierre.labastie@neuf.fr> | 2021-09-13 07:35:53 +0200 |
| commit | 365b8c74b15c60c0ff2cee52f9b3cef62ed19df0 (patch) | |
| tree | b699177fd7223b35b08ad9eeb3a7e49c85acfb13 | |
| parent | e128c68596c1847eff317816550e06c01ab076fc (diff) | |
Move a misplaced role="nodump"
That lead jhalfs to create a useless 801-pkgmgt script.
| -rw-r--r-- | chapter08/pkgmgt.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/chapter08/pkgmgt.xml b/chapter08/pkgmgt.xml index c5fcaa4be..3814b02b0 100644 --- a/chapter08/pkgmgt.xml +++ b/chapter08/pkgmgt.xml @@ -111,7 +111,7 @@ (replace <replaceable>libfoo</replaceable> with the name of the library):</para> -<screen><userinput role="nodump">grep -l -e '<replaceable>libfoo</replaceable>.*deleted' /proc/*/maps | +<screen role="nodump"><userinput>grep -l -e '<replaceable>libfoo</replaceable>.*deleted' /proc/*/maps | tr -cd 0-9\\n | xargs -r ps u</userinput></screen> <para> |