Web 2016-02-25 : Différence entre versions
De an
m (1 révision importée) |
|
(Aucune différence)
| |
Version actuelle en date du 6 mai 2019 à 20:57
Sommaire
Intro
Aujourd'hui, nous allons explorer:
- ce qu'est une image digitale;
- les formats d'images pour le web;
- comment créer un gif animé à l'aide du terminal.
Dial-Up Access by Using the Michigan Terminal System
La vidéo ci-dessous présente l'un des premiers systèmes d'exploitation moderne, autour de 1967. Il permet à plusieurs utilisateurs de se connecter à distance sur une machine. Le paradigme qu'il met en place structure encore les systèmes d'exploitation d'aujourd'hui, et visible à travers le Terminal.
Format d'image pour le web
Bitmap
Imagemagick
exemples:
couleurs indexé
- PNG
- GIF
images photographiques, format avec compression
- JPG
Vectoriel
Utiliser pour des choses dont on doit pouvoir mettre à l'échelle
- SVG
#! /usr/bin/env bash
rm [0-9]*.jpg
for i in {100..0}; do
echo "compression à $i%"
convert original.jpg -quality $(expr 100 - $i) $i.jpg;
done
for a in [0-9]*.jpg; do
mv $a `printf %03d.%s ${a%.*} ${a##*.}`
done
ffmpeg -r 25/1 -i %03d.jpg out.mp4
mplayer out.mp4 -fs -idle -fixed-vo
GIF animés + glitch
Nous allons extraire une séquence de film, puis séparer
# extraire la séquence du film
vlc NightOfTheLivingDeadRemasteredHD.ogv --rate=1 --scene-ratio=2 --video-filter=scene --start-time=392 --stop-time=400 --scene-format=png --scene-prefix= --scene-path=img vlc://quit
# Ou bien extraires les images qui composent le GIF
convert animated.gif +adjoin animated_%d.gif
# appliquer un effet sur chaque image individuelle
for i in animated_*.gif; do convert "$i" -remap pattern:gray50 "ok_$i"; done
# concaténer toutes les images modifiées en un nouveau GIF
convert ok* ok.gif
