Aqui está a solução do awk:
awk -F, -v OFS=, 'l{print l}{l=$0}END{$1+=1.25;print}' file
A ideia é imprimir a linha anterior em vez da atual.
-
-F,
e-v OFS=,
definem o separador de campos de entrada e saída -
l{print l}
imprime a variávell
apenas se não for zero (numérico) ou vazia (string) - que impede a impressão da primeira linha, porquel
ainda não está definido -
l=$0
define a variávell
para linha inteira - finalmente imprimimos a última linha no mesmo
END
alterando seu primeiro campo
Saída:
0.25,20171225,20:00
3,20171226,23:59
3.5,20171231,00:01
3,20180108,05:43