|
|
#1
23.11.2008, 19: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, 19: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, 19: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, 19: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, 19: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, 19: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, 19: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, 19: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, 20: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, 20: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, 20: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, 21: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, 21: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, 15: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, 16: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 | |
| Onderwerp | Auteur |
| Dak isoleren Wij hebben een huis uit 1975. Op de dakbalken aan de buitenkant ligt een pakket geperst stro van 7 cm dik. daarop liggen de dakpannen. Is het nog een idee om tussen de balken... |
jacco |
| Isoleren dak Vraag, Mijn zolder heeft isolatie van binnen uit. Nu gaan we in het voorjaar de pannen van het dak vervangen. Kan ik mijn dak aan de buitenkant nog van een folie voorzien?... |
Pat |
| Isoleren Al honderdduizend keer gevraagd en al tweehonderdduizend keer beantwoord, maar toch nog maar een keer. De vraag: Ik ga een aantal buitenmuren van binnen-uit isoleren middels... |
HaVi |
| 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,... |
Ric@rdo |
| Dak isoleren Ik zit er over te denken om mijn schuine dak extra te isoleren. Het dakbeschot is spaanplaat (ongeveer 2 cm dik) met aan de buitenkant een laag geel schuim van ongeveer 5 cm... |
Fransie |
|
Privacy Policy | Alle tijden zijn in GMT. De tijd is nu 03:41.
|
|
extensie isoleren