title: Convert all Unix Time in a file to human date
body: <p>I want to replace all the UNIX time in a a JSON data file with the same UNIX time followed by a human readable date format.</p>
  
  <p>For example, I want to replace "1234567890123456" (time in microsecond) with "1234567890123456,2009-02-14,00:31:30,sat".</p>
  
  <p>I tried with</p>
  
  <pre><code>sed -r 's/([0-9]{16})/\1'"`date -d @ \1`"'/g'
  </code></pre>
  
  <p>but it doesn't work.
  I'm new in UNIX world, can you suggest me a solution? Thank you so much.</p>
  
  <p>Cordiality</p>
  
  <p>I attach a sample of my JSON file:</p>
  
  <pre><code>{
    "example": [
      {
        "query": {
          "text": "string 1",
          "id": [
            {
              "timestamp": "1234567890123456"
            }
          ]
        }
      },
      {
        "query": {
          "text": "string 2",
          "id": [
            {
              "timestamp": "1234567891123456"
            }
          ]
        }
      },
      {
        "query": {
          "text": "string 3",
          "id": [
            {
              "timestamp": "1234567893123456"
            }
          ]
        }
      }
    ]
  }
  </code></pre>