Re: skript: String bearbeiten

[Sebastian Inacker <inacker@gmx.de>]

Hallo Heiner.

On Thu, Jun 10, 2004 at 05:58:01PM +0200, Heinrich Christian Peters wrote:
> hat jemand eine Idee, wie ich einen String der Art "08062004 1811" in 
> einen Sting der Form "20040608-1811" umbaue?

Also mit dem schon angesprochenem awk ginge das (als Einzeiler) z.B. so:

   echo "08062004 1811" | awk '{year=substr($1, 5, 4); \
   month=substr($1, 3, 2); day=substr($1, 1, 2); time=$2; \
   print year month day "-" time}'

Oder als Skript (hier /tmp/foo.awk)

   #!/usr/bin/awk -f
   {
        year=substr($1, 5, 4)
        month=substr($1, 3, 2)
        day=substr($1, 1, 2)
        time=$2
        print year month day "-" time
   }

   echo "08062004 1811" | /tmp/foo.awk 
   20040608-1811

Dafuer gibt's bestimmt ein paar Dutzend Loesungen ;-).

Tschuess,
  Sebastian