Skip to content

Instantly share code, notes, and snippets.

Avatar

Jose Luis Blanco-Claraco jlblancoc

View GitHub Profile
View gist:38841d72c65a1c32f2bf83a4a00a2c9a
#include <glm/gtx/string_cast.hpp>
..
..
glm::mat4 mat;
..
..
std::cout << glm::to_string(mat) << std::endl;
@gschora
gschora / odys_seal_dvd-player.txt
Created Jul 25, 2015
odys seal portable dvd player sd card reencode videos tutorial
View odys_seal_dvd-player.txt
Der Player ist zwar sehr wählerisch, was das Format angeht, aber es funktioniert.
Für alle Interessierten, hier die Anleitung:
1. Die Software XMedia Recode (kostenlos und virenfrei z.B. bei CHIP) auf dem PC installieren
2. DVD/BD ins Laufwerk legen (alternativ gehen auch Dateien von Platte – siehe Programmdoku)
3. Im oberen Bildabschnitt den längsten Titel auswählen (bei DVDs und BDs)
4. Reiter „Format“:
. Profil: Benutzerdefiniert
. Format: AVI
. Dateiendung: avi
@domenic
domenic / 0-github-actions.md
Last active Jan 8, 2022
Auto-deploying built products to gh-pages with Travis
View 0-github-actions.md

Auto-deploying built products to gh-pages with GitHub Actions

This is a set up for projects which want to check in only their source files, but have their gh-pages branch automatically updated with some compiled output every time they push.

A file below this one contains the steps for doing this with Travis CI. However, these days I recommend GitHub Actions, for the following reasons:

  • It is much easier and requires less steps, because you are already authenticated with GitHub, so you don't need to share secret keys across services like you do when coordinate Travis CI and GitHub.
  • It is free, with no quotas.
  • Anecdotally, builds are much faster with GitHub Actions than with Travis CI, especially in terms of time spent waiting for a builder.
@mobilemind
mobilemind / git-tag-delete-local-and-remote.sh
Last active Jan 21, 2022
how to delete a git tag locally and remote
View git-tag-delete-local-and-remote.sh
# delete local tag '12345'
git tag -d 12345
# delete remote tag '12345' (eg, GitHub version too)
git push origin :refs/tags/12345
# alternative approach
git push --delete origin tagName
git tag -d tagName
View gist:3472964
#include <cstring> // memcpy
#include <type_traits> // is_trivially_copyable
// http://src.chromium.org/viewvc/chrome/trunk/src/base/basictypes.h?view=markup
// bit_cast<Dest,Source> is a template function that implements the
// equivalent of "*reinterpret_cast<Dest*>(&source)". We need this in
// very low-level functions like the protobuf library and fast math
// support.
//
@m14t
m14t / fix_github_https_repo.sh
Created Jul 5, 2012
Convert HTTPS github clones to use SSH
View fix_github_https_repo.sh
#/bin/bash
#-- Script to automate https://help.github.com/articles/why-is-git-always-asking-for-my-password
REPO_URL=`git remote -v | grep -m1 '^origin' | sed -Ene's#.*(https://[^[:space:]]*).*#\1#p'`
if [ -z "$REPO_URL" ]; then
echo "-- ERROR: Could not identify Repo url."
echo " It is possible this repo is already using SSH instead of HTTPS."
exit
fi