diff options
-rw-r--r-- | documentation/plain_sources/handling_ptxdist_revisions.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/documentation/plain_sources/handling_ptxdist_revisions.tex b/documentation/plain_sources/handling_ptxdist_revisions.tex index 51fc7d0..de339d4 100644 --- a/documentation/plain_sources/handling_ptxdist_revisions.tex +++ b/documentation/plain_sources/handling_ptxdist_revisions.tex @@ -96,7 +96,7 @@ Now, typing is less time-consuming: |\$| ./p images \end{ptxshell} -And if we also do not want to enter the trailing \texttt{./} again and again (we +And if we also do not want to enter the leading \texttt{./} again and again (we are so lazy, aren't we?) we could add the following function to our own environment in \texttt{\~/.bashrc}: @@ -120,7 +120,7 @@ Now it looks like a regular command again: \end{ptxshell} \begin{important} -To avoid the trailing \texttt{./} we could also add the current directory to +To avoid the leading \texttt{./} we could also add the current directory to the search PATH. But to do so is a really bad idea. At least compiling the OSELAS.Toolchain fails with the current directory in the PATH. Use the function shown above. It also gives us a helpful error message instead silently |