KORN Remove PID from FIlename 2

[awood69]

I have a file name like this

report_name.xml.12345

where the 12345 was added by using the $$

I need to remove the
.12345 from the end of the filename before I email it out.

Thanks in advance.

 

[feherke]

Hi

[blue]master #[/blue] name='report_name.xml.12345'
[blue]master #[/blue] echo "${name%.*}"           
report_name.xml

Feherke.

http://feherke.github.com/

 

[awood69]

Is there a way to do it without using the " * "?

 

[feherke]

Hi

Why ?

[blue]master #[/blue] name='report_name.xml.12345'
[blue]master #[/blue] echo "${name%.+([0-9])}"
report_name.xml

Feherke.

http://feherke.github.com/

 

[awood69]

Very cool thanks a lot!

 

[SamBones]

A star for feherke's reply.

 

[FlorianAwk]

Is there somewhere any documentation about this powerfull syntax?

 

[feherke]

Is there somewhere any documentation about this powerfull syntax?

See the [tt]man ksh[/tt] :
[ul]
[li]Parameter Expansion for the [tt]%[/tt][/li]
[li]pattern-list in File Name Generation for the [tt]+()[/tt][/li]
[/ul]


Feherke.

http://feherke.github.com/

 

[FlorianAwk]

Thank you very much.