Changes

Jump to navigation Jump to search
8 bytes removed ,  18:02, 13 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

Navigation menu