[bash-script] # vervangen door %23

[smokalot]

Ik probeer een bash-scriptje te schrijven als wrapper voor wget, om van een ftp-server (niet van mij) bestanden te downloaden. Probleem is dat de ftp-server #-jes gebruikt in de directory-namen.

Bestand wat ik wil downloaden is dan bv:

ftp://server.nl/# = categorie = #/bestand.ext

Ik gebruik meestal mozilla om de bovenstaande link te copyen, en dan een terminal waarin ik de link plak, maar mozilla zet wel de spaties om in %20, maar de #jes niet in %23. Wget kan dan niet goed verbinding maken ofzo. Dat moet ik dus met de hand doen, of met het script. Het eerste lukt wel, maar is niet handig.

Spaties vervangen door %20 doe ik met het volgende stukje:

Bash:

t1=${1// /%20}

$1 is dus de url, met spaties en hekjes.
naief, werkt dus niet:

Bash:

t2=${t1//#/%23}

Maar weet niet zo goed waarom niet. de output wordt in dit geval t1, maar alle hekjes worden niet vervangen, en er staat opeens %23 voor
voorbeeld:

Bash:

$ ./script ftp://bla/#%20=%20blaaa/bestand
%23ftp://bla/#%20=%20blaaa/bestand

Weet iemand hoe je kunt doen wat ik wil?

[ Voor 3% gewijzigd door smokalot op 20-11-2003 13:23 ]

[ajvdvegt]

Vaag, dat het niet werkt met een hekje. Misschien dat bash het als operator ziet? In ieder geval, dit werkt wel:

code:

t2=${t1/\/#*=/\/%23%20=}

Ik vervang hier gewoon alls vanaf '/#' tot en met '=' door de gewenste tekens.
Ter informatie: deze pagina was voor mij erg nuttig om dit soort bash-features te leren.

[hammerhead]

Lijkt idd erop dat hekje een code is.... Even snel op die ABS guide gekeken en idd:

code:

stringZ=abcABC123ABCabc
echo ${stringZ/#abc/XYZ}          # XYZABC123ABCabc
                                  # Replaces front-end match of 'abc' with 'XYZ'.

[kenneth]

Edit: laat maar

[ Voor 74% gewijzigd door kenneth op 20-11-2003 13:48 ]

[ajvdvegt]

hammerhead schreef op 20 november 2003 @ 13:48:
Lijkt idd erop dat hekje een code is....

In die guide staat nergens dat '//#' ook een code is, dus volgens mij had het gewoon moeten werken (of is die guide niet compleet natuurlijk )
Zelfs '//\#' werkt trouwens niet, waarmee je toch duidelijk aangeeft dat je het character # bedoelt, en niet een eventuele code....

[ Voor 21% gewijzigd door ajvdvegt op 20-11-2003 14:14 . Reden: \/ opmerking ]

[Verwijderd]

code:

#!/bin/sh
if [ $# -gt 0 ]; then
    URI=`echo $@ | sed -e "s/#/%23/g" -e "s/\ /%20/g"`
    wget $URI
else
    echo "Usage: `basename $0` <url>"
    exit 1
fi

code:

lain [r3boot]$ sh ./bla "http://www.example.com/ #eenbla# /index.html"
--14:25:00--  http://www.example.com/%20%23eenbla%23%20/index.html
           => `index.html'
...

edit:

zo dan, nu worden ook de spaties ge-convert.

[ Voor 53% gewijzigd door Verwijderd op 20-11-2003 14:26 ]

[Wilke]

En gewoon met wat quotjes strooien helpt niet?

i.e. wget "http://een.url/met-hekjes#blaat"

[smokalot]

Wilke schreef op 20 november 2003 @ 14:30:
En gewoon met wat quotjes strooien helpt niet?

i.e. wget "http://een.url/met-hekjes#blaat"

nee, " helpt wel tegen spaties (anders ziet wget het als meerdere urls), maar niet tegen #. Eerst dacht ik dat bash alles na de # als commentaar zag, maar dat blijkt niet zo te zijn. \# werkt ook niet. Het schijnt dat zowel wget als bash problemen hebben met het #.

Het script van r3boot ziet er goed uit, had helemaal niet gedacht aan sed | (heb er ook weinig verstand van trouwens).

* smokalot gaat proberen

[kenneth]

Het is alleen wget idd.

Maar bash doet het wel goed:

code:

[kenneth@stip:~] echo hoi#dag
hoi#dag

[Insanergy]

waarom doe je het niet met ncftpget?

[smokalot]

kenneth schreef op 20 november 2003 @ 16:45:
Het is alleen wget idd.

Maar bash doet het wel goed:

code:

[kenneth@stip:~] echo hoi#dag
hoi#dag

klopt, maar bij het substituten van variabelen dus weer niet...