diff options
| author | Thomas Miedema <thomasmiedema@gmail.com> | 2015-06-12 19:38:03 +0200 |
|---|---|---|
| committer | Thomas Miedema <thomasmiedema@gmail.com> | 2015-06-12 19:40:05 +0200 |
| commit | 0a086c82638c443df10fa2f80896e30107e546e3 (patch) | |
| tree | f1ce00ca998ad4fb12201ddecfa3c478b3f2cd0c | |
| parent | dd5cac7cd379367d29c3ca486989f5c32e5ae848 (diff) | |
| download | haskell-0a086c82638c443df10fa2f80896e30107e546e3.tar.gz | |
Docs: it's `gv --orientation=seascape` nowadays (#10497)
[skip ci]
| -rw-r--r-- | docs/users_guide/profiling.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/users_guide/profiling.xml b/docs/users_guide/profiling.xml index 26d18a0cdf..d14419b39c 100644 --- a/docs/users_guide/profiling.xml +++ b/docs/users_guide/profiling.xml @@ -1335,7 +1335,7 @@ profile of your program as it runs. Simply generate an incremental heap profile as described in the previous section. Run <command>gv</command> on your profile: <screen> - gv -watch -seascape FOO.ps + gv -watch -orientation=seascape FOO.ps </screen> If you forget the <literal>-watch</literal> flag you can still select "Watch file" from the "State" menu. Now each time you generate a new @@ -1348,7 +1348,7 @@ This can all be encapsulated in a little script: #!/bin/sh head -`fgrep -n END_SAMPLE FOO.hp | tail -1 | cut -d : -f 1` FOO.hp \ | hp2ps > FOO.ps - gv -watch -seascape FOO.ps & + gv -watch -orientation=seascape FOO.ps & while [ 1 ] ; do sleep 10 # We generate a new profile every 10 seconds. head -`fgrep -n END_SAMPLE FOO.hp | tail -1 | cut -d : -f 1` FOO.hp \ |