KaKiLa

Joined 16 November 2011
8 bytes removed ,  14 August 2017
m
 
Line 4: Line 4:
= Tips and Tricks=
= Tips and Tricks=
== Get file info when generate_html fails or warns==
== Get file info when generate_html fails or warns==
Since generate_html gives errors about the random files generated, it is useless when debugging help text. The following command shows the first few lineas of the files created by generate_html.
Since generate_html gives errors about the random files generated, it is useless when debugging help text. The following command shows the first few lines of the files created by generate_html.


<pre> f_old=/tmp/$(ls -1 -t /tmp | head -1);while true; do f=/tmp/$(ls -1 -t /tmp | head -1); if [ "$f" != "$f_old" ]; then echo $f; grep '@deftypefn ' --include="*octave-help*" $f; f_old=$f; fi; done</pre>
<pre> f_old=/tmp/$(ls -1 -t /tmp | head -1);while true; do f=/tmp/$(ls -1 -t /tmp | head -1); if [ "$f" != "$f_old" ]; then echo $f; grep '@def' --include="*octave-help*" $f; f_old=$f; fi; done</pre>


run this in a different terminal before using generate_html
run this in a different terminal before using generate_html
657

edits