This file contains 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
\documentclass[12pt]{article} | |
% Encoding | |
\usepackage{fontspec} | |
\usepackage{polyglossia} | |
\usepackage{csquotes} | |
\setdefaultlanguage{english} | |
% Formatting | |
\usepackage{fullpage} |
This file contains 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 | |
# Args: ./convert.sh <file glob> <output folder> | |
# Don't forget to escape the wildcards used in the file glob. | |
# | |
# This is a bash script I wrote to convert my high-quality videos to | |
# lower-quality ones that can be played in my car's player. As it | |
# (unfortunately) doesn't support softsubs, I also have to encode hardsubs into | |
# the videos. The only format supported by the player is mp4, so I always convert | |
# to that by default. | |
# |
OlderNewer