export default function convert_raw_one_band_pixel_to_rgb_str(noDataValue, noDataPixel, scale, pixel) {
if (pixel.includes(noDataValue)) return noDataPixel;
const scaled = scale(pixel[0]);
return "rgb(" + scaled + ", " + scaled + ", " + scaled + ")";
}