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ávellapenas se não for zero (numérico) ou vazia (string) - que impede a impressão da primeira linha, porquelainda não está definido -
l=$0define a variávellpara linha inteira - finalmente imprimimos a última linha no mesmo
ENDalterando seu primeiro campo
Saída:
0.25,20171225,20:00
3,20171226,23:59
3.5,20171231,00:01
3,20180108,05:43