Supondo que você tenha data do GNU, precisamos adicionar um espaço entre a data e a hora e passá-lo com -d
$ date -d "20160713 1001"
Wed Jul 13 10:01:00 EDT 2016
Podemos dividir isso facilmente com expansões de parâmetros. por exemplo
$ d=201607131001
$ date -d "${d%????} ${d#????????}"
Wed Jul 13 10:01:00 EDT 2016
Você pode usar as strings de formatação padrão +
para obtê-lo no formato desejado ( man date
explica todas as opções).
$ d=201607131001
$ date -d "${d%????} ${d#????????}" +"%I:%M %p %B %d, %Y"
10:01 AM July 13, 2016