Convertir fechas en AWK

Tengo un archivo que contiene muchas columnas de texto, incluida una marca de tiempo a lo largo de las líneas deFri Jan 02 18:23 y necesito convertir esa fecha enMM/DD/YYYY HH:MM formato.

He estado tratando de usar la herramienta estándar `date 'con awk getline para hacer la conversión, pero no puedo averiguar cómo pasar los campos al comando' date 'en el formato que espera (citado con" o " s,) como getline necesita la cadena de comando entre comillas también.

Algo como"date -d '$1 $2 $3 $4' +'%D %H:%M'" | getline var

Ahora que lo pienso, supongo que lo que realmente estoy preguntando es cómo incrustar variables awk en una cadena.

Respuestas a la pregunta(3)

Su respuesta a la pregunta