wc.sh: Shell script that updates the stats.

#!/bin/sh
# script to update dissertation stats; should be run periodically by cron
cd /home/gary/diss/
svn up
detex dissertation.tex | wc -w > count.txt
grep "begin{figure}" *.tex | wc -l >> count.txt
make clean all
pdfinfo dissertation.pdf  | awk '/Pages/{print $2}' >> count.txt
echo `date +"%d/%m/%y %R"`,`detex dissertation.tex | wc -w`,`pdfinfo dissertation.pdf | awk '/Pages/{print $2}'` >> counts.csv
/usr/local/bin/gnuplot plot.gpi
rsvg graph.svg /var/www/apache2-default/graph.png

plot.gpi: GNUplot code to plot the graph of words against time.


Warning: highlight_file(/home/gary/diss/plot.gpi) [function.highlight-file]: failed to open stream: No such file or directory in /var/www/apache2-default/source.php on line 26

Warning: highlight_file() [function.highlight-file]: Failed opening '/home/gary/diss/plot.gpi' for highlighting in /var/www/apache2-default/source.php on line 26

index.php: Displays the stats.


Warning: highlight_file(index.php) [function.highlight-file]: failed to open stream: No such file or directory in /var/www/apache2-default/source.php on line 31

Warning: highlight_file() [function.highlight-file]: Failed opening 'index.php' for highlighting in /var/www/apache2-default/source.php on line 31

source.php: this file :).

<!DOCTYPE HTML PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" 
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html lang="en" xml:lang="en" xmlns="http://www.w3.org/1999/xhtml">
<head>
<title>Gary's Dissertation Stats: Source</title>
<link rel="icon" type="image/png" href="kick.png" />
<style type="text/css">
div.code {
    padding: 1em;
    background-color: #ccc;
    margin: 1em auto 1em auto;
    width: 45em;
}
</style>
</head>

<body>

<p><strong>wc.sh:</strong> Shell script that updates the stats.</p>
<div class="code">
<?php highlight_file('/home/gary/wc.sh'); ?>
</div>

<p><strong>plot.gpi:</strong> GNUplot code to plot the graph of words against time.</p>
<div class="code">
<?php highlight_file('/home/gary/diss/plot.gpi'); ?>
</div>

<p><strong>index.php:</strong> Displays the stats.</p>
<div class="code">
<?php highlight_file('index.php'); ?>
</div>

<p><strong>source.php:</strong> this file :).</p>
<div class="code">
<?php highlight_file('source.php'); ?>
</div>

<p><a href="/">Back to Stats</a></p>

</body>
</html>

Back to Stats