---

Hej NG.
nedenstående script skulle gerne gøre mig i stand til automatisk at opdatere
min lokale php manual på min linuxbox.
If-sætningen skal kun udføres hvis den hentede tar-fil er nyere end det
lokale dir.

If-sætningen virker dog ikke. Jeg vil sammenligne de to awk-udtryk: En stat
giver:

$ stat -t php_manual_en.tar.gz
php_manual_en.tar.gz 1121672 2200 81b4 500 500 905 1517764 1 0 0
1006207245 1006202042 1006202042 4096
$ stat -t php_manual_en.tar.gz | awk {'print $12'}
1006207245

Og det er netop dette tal der for hvert awk-udtryk skal sammenlignes.
Nogen forslag?


På forhånd tak,

Jesper Rønn
www.fanklubben.dk <= fjollet website

==========output==========
$ ./phpmanual.sh
--23:00:43-- http://se.php.net/distributions/manual/php_manual_en.tar.gz
=> `php_manual_en.tar.gz'
Connecting to se.php.net:80... connected!
HTTP request sent, awaiting response... 200 OK
Length: 1,121,672 [application/x-tar]
Server file no newer than local file `php_manual_en.tar.gz' -- not
retrieving.

awk: cmd. line:2: fatal: cannot open file `-t' for reading (No such file or
directory)
update OK!
==========script===========

#!/bin/bash

# get recent manuals from web, and make local edition up-to-date
# $Id$

FILE=php_manual_en.tar.gz
DIR=phpmanual

cd /var/www/html/ref
wget --timestamping
http://se.php.net/distributions/manual/php_manual_en.tar.gz

if stat -t $FILE | awk {'print $12'} > stat -t $DIR | awk {'print $12'}
then
cd $DIR
tar xzf ../$FILE *
echo 'update OK!'
fi

---

Mon, 19 Nov 2001 23:02:22 +0100, skrev jesper rønn
<jesperdrengen@my-deja.com>:
> awk: cmd. line:2: fatal: cannot open file `-t' for reading (No such file or
> directory)

> #!/bin/bash

> # get recent manuals from web, and make local edition up-to-date
> # $Id$

> FILE=php_manual_en.tar.gz
> DIR=phpmanual

> cd /var/www/html/ref
> wget --timestamping
> http://se.php.net/distributions/manual/php_manual_en.tar.gz

> if stat -t $FILE | awk {'print $12'} > stat -t $DIR | awk {'print $12'}
> then
> cd $DIR
> tar xzf ../$FILE *
> echo 'update OK!'
> fi

Hvad med:
if $(stat -t $FILE | awk {'print $12'}) > $(stat -t $DIR | awk {'print $12'})

$(komando) output fra komando (alternativt `komando`)

Leo
--
I'd be a poorer man if I'd never seen an eagle fly.
      -- John Denver
[I saw an eagle fly once. Fortunately, I had my eagle fly swatter handy. Ed.]

---

"Leo Laursen" <l.laursen@mail1.stofanet.dk> wrote in message
news:9tc4bb$kht$1@sunsite.dk...
> Hvad med:
> if $(stat -t $FILE | awk {'print $12'}) > $(stat -t $DIR | awk {'print
$12'})
>
> $(komando) output fra komando (alternativt `komando`)
>
> Leo
Tak for tippet. Nu evaluerer den udtrykkene som den skal.
Desværre kan jeg nu se et andet problem:

if $(stat -t $FILE | awk {'print $12'}) > $(stat -t $DIR | awk
{'print $12'})

"større end"-tegnet virker "forkert". Den forsøger nu at skrive ned i en fil
med navnet der evalueres af
$(stat -t $DIR | awk {'print $12'})

Hvordan skriver jeg "større end" i min if-sætning?

---

"jesper rønn" <jesperdrengen@my-deja.com> writes:

> Hvordan skriver jeg "større end" i min if-sætning?

Læs man bash og man test.

if [ `stat -t $FILE | awk {'print $12'}` -gt `stat -t $DIR | awk {'print $12'}` ] ; then
/bin/true
fi

--
Når folk spørger mig, om jeg er nørd, bliver jeg altid ilde til mode
og svarer lidt undskyldende: "Nej, jeg bruger RedHat".
-- Allan Olesen på dk.edb.system.unix

---

"Peter Makholm" <peter@makholm.net> wrote in message
news:87r8qtyk15.fsf@xyzzy.adsl.dk...
> "jesper rønn" <jesperdrengen@my-deja.com> writes:
> > Hvordan skriver jeg "større end" i min if-sætning?
>
> if [ `stat -t $FILE | awk {'print $12'}` -gt `stat -t $DIR | awk {'print
$12'}` ] ; then

Det virker perfekt. Stor tak til hjælpen begge to.
Til interesserede er der her mit script, som vedligeholder PHP manual
dagligt på min maskine.

Hilsen
Jesper Rønn

=============script===============




































#!/bin/bash

# get recent manuals from web, and make local edition up-to-date
# $Id$

cd /var/www/html/ref

FILE=php_manual_en.tar.gz
DIR=phpmanual

statF=`stat -t $FILE | awk {'print $14'}`
statD=`stat -t $DIR | awk {'print $14'}`

# echo 'fil: ' $statF
# echo 'dir: ' $statD
wget --timestamping http://se.php.net/distributions/manual/$FILE

if [ $statF -gt $statD ] ; then
cd $DIR
tar xzf ../$FILE *
echo 'update OK! Manual files updated'
else
echo 'no files updated!'
fi

cd -