projects
/
barrelfish
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
(from parent 1:
3f9f7e1
)
Use \textless and \textgreater instead of <>.
author
Gerd Zellweger
<mail@gerdzellweger.com>
Thu, 10 Oct 2013 09:51:49 +0000 (11:51 +0200)
committer
Gerd Zellweger
<mail@gerdzellweger.com>
Thu, 10 Oct 2013 12:03:15 +0000 (14:03 +0200)
doc/008-tracing/Tracing.tex
patch
|
blob
|
history
diff --git
a/doc/008-tracing/Tracing.tex
b/doc/008-tracing/Tracing.tex
index
7c050fe
..
7bff122
100644
(file)
--- a/
doc/008-tracing/Tracing.tex
+++ b/
doc/008-tracing/Tracing.tex
@@
-752,7
+752,7
@@
that can talk to the Barrelfish machines you can use ssh port-forwarding to
connect Aquarium 2 to Barrelfish directly using the ssh invocation below.
\begin{code}
-ssh -L 6666:<IP of Barrelfish machine>:6666 <ssh-machine>
+ssh -L 6666:\textless IP of Barrelfish machine\textgreater:6666 \textless ssh-machine\textgreater
\end{code}
\chapter{Performance Analysis}