Skip to content

Instantly share code, notes, and snippets.

View acrisci's full-sized avatar
:shipit:
thanks for the memories

Tony Crisci acrisci

:shipit:
thanks for the memories
View GitHub Profile
@acrisci
acrisci / default-media-player.sh
Last active January 1, 2024 15:23
A helper script to set a default media player in Linux
#!/usr/bin/env bash
help_string=$(cat <<EOF
Usage: $0 [-h|-l] APPLICATION
Set a video player as the default.
Example:
# List candidate desktop files for media players.