Skip to content

Instantly share code, notes, and snippets.

View JohannSuarez's full-sized avatar

Johann Suarez JohannSuarez

View GitHub Profile
@lttlrck
lttlrck / gist:9628955
Created March 18, 2014 20:34
rename git branch locally and remotely
git branch -m old_branch new_branch # Rename branch locally
git push origin :old_branch # Delete the old branch
git push --set-upstream origin new_branch # Push the new branch, set local branch to track the new remote
@Adirockzz95
Adirockzz95 / manim_svg_example.py
Last active March 12, 2024 02:18
manim SVG object animation example
#!/usr/bin/env python
#
# Usage: python extract_scene.py -p [filename] [classname]
# eg: python extract_scene.py -p examples.py DrawCircle
#
import math
import os