This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
# From: https://discuss.kde.org/t/date-time-overlay-in-timelapse-video/2880/5 | |
# Monospaced font from here: https://www.1001fonts.com/download/digital-7.zip | |
INPUT_FILE="video.mp4" | |
TOTAL_DURATION=30 # Total duration in seconds | |
FPS=30 | |
FONT_FILENAME="./digital-7/digital-7 (mono).ttf" | |
FONT_SIZE=72 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# Save this to your ~/.bash_aliases file or ~/.bashrc directly | |
alias add-monitor="xrandr --setmonitor screenshare 1920/1x1080/1+0+1080 none" | |
alias remove-monitor="xrandr --delmonitor screenshare" |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
... | |
# https://github.com/Dav1dde/glad/issues/397#issue-1463640603 | |
# This doesn't work out of the box with conflicting targets, forcing shared libs, etc. | |
set(BUILD_SHARED_LIBS OFF CACHE BOOL "" FORCE) # Ugly way to force static glad build | |
# Fetch GLAD from GitHub | |
FetchContent_Declare(glad_src | |
GIT_REPOSITORY https://github.com/Dav1dde/glad.git |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
FROM debian | |
RUN apt-get update && apt-get install -y sudo acl | |
ARG USER_NAME | |
ARG USER_UID | |
ARG USER_GID | |
# Reuse existing UID if present; otherwise create user and group | |
RUN existing_user=$(getent passwd "${USER_UID}" | cut -d: -f1) && \ |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
docker build -t firestore . | |
docker run -it -p 4000:4000 -p 8080:8080 firestore |
OlderNewer