From 42c97d174e93fa6fb2767d5fc4bafc7d1a7c0174 Mon Sep 17 00:00:00 2001 From: romir kulshrestha Date: Thu, 5 Mar 2026 19:29:08 +0100 Subject: Replace fetch script --- fetch | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100755 fetch (limited to 'fetch') diff --git a/fetch b/fetch deleted file mode 100755 index 46c02f9..0000000 --- a/fetch +++ /dev/null @@ -1,19 +0,0 @@ -#!/bin/sh - -set -e - -cd "${0%/*}" -trap 'rm -f UCD.zip' EXIT - -set -x -mkdir -p data -curl -LO https://www.unicode.org/Public/zipped/latest/UCD.zip -unzip -od data UCD.zip - -# XID_Start and XID_Continue additions -cat <<-EOF >>data/DerivedCoreProperties.txt -0024 ; XID_Start # Pc DOLLAR SIGN -005F ; XID_Start # Pc LOW LINE -2032..2034 ; XID_Continue # Po [3] PRIME..TRIPLE PRIME -2057 ; XID_Continue # Po QUADRUPLE PRIME -EOF -- cgit v1.2.3