|
|
#1
23.11.2008, 18:01
|
|
|
|
|
Er was toch een tool waarmee je een extensie kunt isoleren? En dan niet
"basename" want dan moet de extensie bekend zijn. R. |
|
|
|
#2
23.11.2008, 18:09
|
|
|
|
|
On Sun, 23 Nov 2008 20:01:40 +0100, richard lucassen wrote:
> Er was toch een tool waarmee je een extensie kunt isoleren? En dan niet > "basename" want dan moet de extensie bekend zijn. Basename stript het pad er af. dir name stript de filename er af Die bedoel je beide niet. Zelf iets make met sed? Ed |
|
#3
23.11.2008, 18:19
|
|
|
|
|
de Baas. wrote:
> On Sun, 23 Nov 2008 20:01:40 +0100, richard lucassen wrote: > >> Er was toch een tool waarmee je een extensie kunt isoleren? En dan niet >> "basename" want dan moet de extensie bekend zijn. > Basename stript het pad er af. > dir name stript de filename er af > Die bedoel je beide niet. Zelf iets make met sed? basename /hello/world.php| awk -F\. '{print $NF}' Wordt wel lastig als er geen extntie is. Verder betekend die extentie niet altijd het zelfde. Om te zien wat een bestand echt is kun je misschien gebruik maken van `file` houghi@pasta : basename site/houghi.org/index.php|awk -F\. '{print $NF}' php houghi@pasta : file site/houghi.org/index.php site/houghi.org/index.php: PHP script text lles natuurlijk afhankelijk van hoe je het gaat gebruiken. houghi |
|
#4
23.11.2008, 18:19
|
|
|
|
|
On 23 Nov 2008 19:09:34 GMT
"de Baas." <nospam2thisadres> wrote: > On Sun, 23 Nov 2008 20:01:40 +0100, richard lucassen wrote: > > > Er was toch een tool waarmee je een extensie kunt isoleren? En dan > > niet "basename" want dan moet de extensie bekend zijn. > Basename stript het pad er af. > dir name stript de filename er af > Die bedoel je beide niet. Zelf iets make met sed? zou altijd kunnen natuurlijk, maar ik dacht dat er een tooltje voor was. |
|
#5
23.11.2008, 18:32
|
|
|
|
|
richard lucassen wrote:
> Er was toch een tool waarmee je een extensie kunt isoleren? En dan niet > "basename" want dan moet de extensie bekend zijn. Iets als onderstaande, wellicht? naam='bestand.ext' echo ${naam#*.} Richard Rasker |
|
#6
23.11.2008, 18:40
|
|
|
|
|
On Sun, 23 Nov 2008 20:32:09 +0100
Richard Rasker <spamtrap> wrote: > richard lucassen wrote: > > > Er was toch een tool waarmee je een extensie kunt isoleren? En dan > > niet "basename" want dan moet de extensie bekend zijn. > > Iets als onderstaande, wellicht? > > naam='bestand.ext' > echo ${naam#*.} Dat gaat weer fout bij bestand.001.txt ;-) Maar er was een proggie voor, volgens mij heb ik het gewoon geinstalleerd staan maar ik weet niet meer hoe het heet. |
|
#7
23.11.2008, 18:49
|
|
|
|
|
Richard Rasker wrote:
> richard lucassen wrote: > >> Er was toch een tool waarmee je een extensie kunt isoleren? En dan niet >> "basename" want dan moet de extensie bekend zijn. > > Iets als onderstaande, wellicht? > > naam='bestand.ext' > echo ${naam#*.} Ah, net teruggevonden, bovenstaande en nog veel meer: http://liquidat.wordpress.com/2007/0...-shell-script/ Richard Rasker |
|
#8
23.11.2008, 18:56
|
|
|
|
|
richard lucassen wrote:
> On Sun, 23 Nov 2008 20:32:09 +0100 > Richard Rasker <spamtrap> wrote: > >> richard lucassen wrote: >> >> > Er was toch een tool waarmee je een extensie kunt isoleren? En dan >> > niet "basename" want dan moet de extensie bekend zijn. >> >> Iets als onderstaande, wellicht? >> >> naam='bestand.ext' >> echo ${naam#*.} > > Dat gaat weer fout bij bestand.001.txt ;-) Kwestie van een extra #: echo ${naam##*.} Dit gaat trouwens wel weer verkeerd als er geen extensie is. > Maar er was een proggie voor, volgens mij heb ik het gewoon > geinstalleerd staan maar ik weet niet meer hoe het heet. Hm, ik zou het niet weten. Richard Rasker |
|
#9
23.11.2008, 19:14
|
|
|
|
|
richard lucassen wrote:
> On Sun, 23 Nov 2008 20:32:09 +0100 > Richard Rasker <spamtrap> wrote: >> Dat gaat weer fout bij bestand.001.txt ;-) > > Maar er was een proggie voor, volgens mij heb ik het gewoon > geinstalleerd staan maar ik weet niet meer hoe het heet. echo ${naam##*.} doet wel wat je wilt. |
|
#10
23.11.2008, 19:38
|
|
|
|
|
On Sun, 23 Nov 2008 21:14:08 +0100
Fred Mobach <fred> wrote: > > Maar er was een proggie voor, volgens mij heb ik het gewoon > > geinstalleerd staan maar ik weet niet meer hoe het heet. > > echo ${naam##*.} > > doet wel wat je wilt. Ok, thnx! Maar jij weet kennelijk ook niet welke util dat is. Hmm, zal ik me vergissen dan en dat het gewoon toch niet bestaat? Misschien ben ik wel in de war met een util als gprename o.i.d. |
|
#11
23.11.2008, 19:38
|
|
|
|
|
On Sun, 23 Nov 2008 20:56:42 +0100
Richard Rasker <spamtrap> wrote: > > Dat gaat weer fout bij bestand.001.txt ;-) > > Kwestie van een extra #: > > echo ${naam##*.} > > Dit gaat trouwens wel weer verkeerd als er geen extensie is. Precies. Het zal wel weer sed worden ;-) |
|
#12
23.11.2008, 20:02
|
|
|
|
|
richard lucassen schreef:
> On Sun, 23 Nov 2008 20:56:42 +0100 > Richard Rasker <spamtrap> wrote: > >> > Dat gaat weer fout bij bestand.001.txt ;-) >> >> Kwestie van een extra #: >> >> echo ${naam##*.} >> >> Dit gaat trouwens wel weer verkeerd als er geen extensie is. > > Precies. Het zal wel weer sed worden ;-) Kan ook met expr (voor de verandering): expr $naam : '.*\.\(.*\)' |
|
#13
23.11.2008, 20:30
|
|
|
|
|
On Sun, 23 Nov 2008 22:02:26 +0100
Huibert Bol <huibert.bol> wrote: > > Precies. Het zal wel weer sed worden ;-) > > Kan ook met expr (voor de verandering): > > expr $naam : '.*\.\(.*\)' Misschien wel zo handig :) |
|
#14
24.11.2008, 14:26
|
|
|
|
|
richard lucassen wrote:
> On Sun, 23 Nov 2008 21:14:08 +0100 > Fred Mobach <fred> wrote: > >> > Maar er was een proggie voor, volgens mij heb ik het gewoon >> > geinstalleerd staan maar ik weet niet meer hoe het heet. >> >> echo ${naam##*.} >> >> doet wel wat je wilt. > > Ok, thnx! Maar jij weet kennelijk ook niet welke util dat is. "Parameter Expansion" in man sh beschrijft wat je weten wilt. |
|
#15
24.11.2008, 15:00
|
|
|
|
|
On Mon, 24 Nov 2008 16:26:33 +0100
Fred Mobach <fred> wrote: > > Ok, thnx! Maar jij weet kennelijk ook niet welke util dat is. > > "Parameter Expansion" in man sh beschrijft wat je weten wilt. Uiteraard. Maar ik meende toch echt dat er een tooltje was a la basename die dat deed... |
|
|
|
|
| Soortgelijke onderwerpen | |
| isoleren Beste nieuwsgroepers. Binnenkort wil ik de oude houten schroten gevelbekleding van de woning vervangen door kunststof. Tegelijk wil ik dan de zaak isoleren. Wanneer ik de... |
|
| isoleren wil stenen muur (schuur) met aan buitenzijde trespa op regels van binnen uit isoleren kan dat zo ja hoe. walter |
|
| Bad isoleren Hallo allemaal, Even een tip van jullie als dat mogelijk is Moet ik een kunstof bad isoleren of is dat niet nodig. Bedankt vast voor de antwoorden. Willem |
|
| isoleren Beste medeweggebruikers, Wil mijn laadruimte van mijn bus isoleren (geluid) hoe kan ik dat het beste aanpakken en met welke materialen kan ik dat het beste doen?? Vrgr,... |
|
|
Alle tijden zijn in GMT. De tijd is nu 05:52. | Privacy Policy
|
extensie isoleren