#! /bin/bash
# Last edited on 2024-04-01 16:32:06 by stolfi
#
usage="$0 PCT < INRGB > OUTRGB";

if [[ $# -ne 1 ]]; then
  echo "** bad args; usage: ${usage}" 1>&2; exit 1
fi

pct="$1"; shift; 

in=( `cat` )
if [[  ( ${#in[@]} -ne 5 ) || ( "@$in[4]" != "@/")  ]]; then
  echo "** bad rgb line" 1>&2; exit 1
fi

den=$(( ${in[5]} ))

r=$(( ${in[1]} + ( ${in[1]} * ${pct} ) / 100 ))
g=$(( ${in[2]} + ( ${in[2]} * ${pct} ) / 100 ))
b=$(( ${in[3]} + ( ${in[3]} * ${pct} ) / 100 ))

printf "%03d %03d %03d / %03d" $r $g $b $den