Skip to content

Instantly share code, notes, and snippets.

View Jellix's full-sized avatar
:octocat:
I may be slow to respond.

Vinzent "Jellix" Saranen Jellix

:octocat:
I may be slow to respond.
View GitHub Profile
@Jellix
Jellix / git_alias.sh
Created March 10, 2020 15:30
Git aliases
git config --global alias.compress "gc --prune=NOW --aggressive"
git config --global alias.fuck "reset --hard HEAD"
@Jellix
Jellix / scope.adb
Last active October 18, 2020 18:30
Introspection, the Ada way
with Ada.Strings.Fixed;
package body Scope is
use all type Ada.Strings.Direction;
use Ada.Strings.Fixed;
function Local (This : in Ada.Tags.Tag) return String is
Full_Tag_Name : constant String := Ada.Tags.Expanded_Name (This);
-- tag name is (expected to be) in the form of