Skip to content

Instantly share code, notes, and snippets.

@kdarkhan
Created November 21, 2020 10:04
Show Gist options
  • Save kdarkhan/c020c8e0784b0ac4c292b6dc049017a5 to your computer and use it in GitHub Desktop.
Save kdarkhan/c020c8e0784b0ac4c292b6dc049017a5 to your computer and use it in GitHub Desktop.
#!/bin/sh
set -e
# Download currently removed script for converting snipmate snippets
# into UltiSnips format
curl -o convert_snipmate_snippets.py https://raw.githubusercontent.com/SirVer/ultisnips/bca51cb4037b587a6c71b35f24ae200b92120248/utils/convert_snipmate_snippets.py
for filename in snippets/{,**/}*.snippets; do
echo "converting file $filename"
target_file=${filename/snippets\//UltiSnips\/}
mkdir -p `dirname $target_file`
python2 convert_snipmate_snippets.py $filename $target_file
done
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment