diff options
author | Rasmus Andersson <rasmus@notion.se> | 2022-06-03 20:28:21 +0300 |
---|---|---|
committer | Rasmus Andersson <rasmus@notion.se> | 2022-06-03 20:28:41 +0300 |
commit | 585f56cee5c1a75711e20c55e7a2dd2ac519d6cb (patch) | |
tree | 96c944a73b86e3a846e99ab51a3fe3f08aaadc07 /misc | |
parent | b0a23fb682f974917744ab640f04567ea4f02344 (diff) | |
download | inter-585f56cee5c1a75711e20c55e7a2dd2ac519d6cb.tar.xz |
toolchain: drop old Makefile and init.sh script along with git hooks and slim down Python requirements.txt to just what we need
Diffstat (limited to 'misc')
-rwxr-xr-x | misc/git-hooks/post-checkout.sh | 8 | ||||
-rwxr-xr-x | misc/git-hooks/post-merge.sh | 8 | ||||
-rwxr-xr-x | misc/tools/woff2 | 6 |
3 files changed, 18 insertions, 4 deletions
diff --git a/misc/git-hooks/post-checkout.sh b/misc/git-hooks/post-checkout.sh index c32d46c55..61fa00b00 100755 --- a/misc/git-hooks/post-checkout.sh +++ b/misc/git-hooks/post-checkout.sh @@ -1,2 +1,6 @@ -#!/bin/bash -e -bash init.sh +#!/bin/sh +# Uninstall git hook used by old toolchain +case "$0" in + */.git/hooks/*) rm "$0";; + *) echo "Inter git hooks are no longer used" +esac diff --git a/misc/git-hooks/post-merge.sh b/misc/git-hooks/post-merge.sh index c32d46c55..61fa00b00 100755 --- a/misc/git-hooks/post-merge.sh +++ b/misc/git-hooks/post-merge.sh @@ -1,2 +1,6 @@ -#!/bin/bash -e -bash init.sh +#!/bin/sh +# Uninstall git hook used by old toolchain +case "$0" in + */.git/hooks/*) rm "$0";; + *) echo "Inter git hooks are no longer used" +esac diff --git a/misc/tools/woff2 b/misc/tools/woff2 new file mode 100755 index 000000000..35575dace --- /dev/null +++ b/misc/tools/woff2 @@ -0,0 +1,6 @@ +#!/usr/bin/env python +import sys +from fontTools.ttLib.woff2 import main + +if __name__ == "__main__": + sys.exit(main()) |