Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -10,6 +10,8 @@ SSH key, and all incoming messages are verified against the author's
pubkeys. Every GitHub user's ssh pubkeys are [publicly
available](https://github.com/robertdfrench.keys).

![](websites/screengrab.gif)

## Architecture

### Validating Messages
Expand Down
16 changes: 15 additions & 1 deletion website/Makefile
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
include ../lib/common.mk
include ../lib/venv.mk

SOURCES=index.html social_media_preview.jpg
SOURCES=index.html social_media_preview.jpg screengrab.gif

deploy: $(patsubst %, build/%.deploy, $(SOURCES)) #: Deploy changes to website

Expand All @@ -15,3 +15,17 @@ build/%.deploy: % build/.dir .venv/ready

test:
@echo okay!

# We don't list any pre-requisites here because we want to keep screengrab.gif
# under version control. If a new screengrab movie is made, update this by hand.
rebuild_screengrab: #: Update screengrab.gif you record a new screengrab movie
ifndef INPUT_MOVIE
$(error Define INPUT_MOVIE to point to a quicktime file)
endif
make build/.dir
ffmpeg \
-i $(INPUT_MOVIE) \
-vf "fps=10,scale=640:-1:flags=lanczos" \
-c:v gif \
build/unoptimized.gif
gifsicle -O3 build/unoptimized.gif -o screengrab.gif
Binary file added website/screengrab.gif
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.