#! /bin/bash
# Transformer le .jpg en paramètre du script en .pnm
jpegtopnm 1ドル > tmp.pnm
# Quantifier à 224 couleurs
pnmquant 224 tmp.pnm > tmp2.pnm
# Transformer au format PPM no raw
pnmnoraw tmp2.pnm > logo_linux_clut224_tmp.ppm
rm tmp.pnm tmp2.pnm
mv logo_linux_clut224_tmp.ppm /usr/src/linux/drivers/video/logo/
cd /usr/src/linux/drivers/video/logo/
# On sauve les anciens fichiers au cas où...
mv logo_linux_clut224.ppm logo_linux_clut224.ppm.bak
mv logo_linux_clut224.c logo_linux_clut224.c.bak
mv logo_linux_clut224.o logo_linux_clut224.o.bak
# On remplace l'ancien logo par le nouveau mv logo_linux_clut224_tmp.ppm logo_linux_clut224.ppm
# Le script avec les retours chariot...
Posté par lethargic . En réponse au message [Debian] Pour les accros du tuning : changer le logo au boot. Évalué à 2.
# Transformer le .jpg en paramètre du script en .pnm
jpegtopnm 1ドル > tmp.pnm
# Quantifier à 224 couleurs
pnmquant 224 tmp.pnm > tmp2.pnm
# Transformer au format PPM no raw
pnmnoraw tmp2.pnm > logo_linux_clut224_tmp.ppm
rm tmp.pnm tmp2.pnm
mv logo_linux_clut224_tmp.ppm /usr/src/linux/drivers/video/logo/
cd /usr/src/linux/drivers/video/logo/
# On sauve les anciens fichiers au cas où...
mv logo_linux_clut224.ppm logo_linux_clut224.ppm.bak
mv logo_linux_clut224.c logo_linux_clut224.c.bak
mv logo_linux_clut224.o logo_linux_clut224.o.bak
# On remplace l'ancien logo par le nouveau mv logo_linux_clut224_tmp.ppm logo_linux_clut224.ppm