[tlug] Re: File change info on upload to server

["Jim Breen" <jimbreen@example.com>]

On 12/04/2008, Jim Breen <jimbreen@example.com> wrote:
> Chuck asked:
>
>  >  > I don't need to know the information on my end. This is for the purpose
>  >  > of the people who are downloading my files, who want to know if the file
>  >  > has changed since the last time they downloaded it. Apparently the file is
>  >  > supposed to be flagged in some sort of way when it is updated.
>
>  For a couple of the files I maintain, I upload a datestamp file. See
>  http://www.csse.monash.edu.au/~jwb/examples_date for one of these.
>  People who want to see if it the file has changed simply need to grab
>  that file periodically:
>
>  ....
>  mv datestamp datestamp_prev
>  wget http://......./datestamp
>  set x=`diff datestamp datestamp_prev`

What I *really* meant was:

set x=`diff datestamp datestamp_prev | wc -l'

>  if ($x > 0) then
>  ...[download the new file
>  endif
>  ...

Jim

-- 
Jim Breen
Honorary Senior Research Fellow
Clayton School of Information Technology,
Monash University, VIC 3800, Australia
http://www.csse.monash.edu.au/~jwb/