2018-05-16 21:22:16 +02:00
|
|
|
#!/bin/bash
|
2018-04-30 15:41:30 +02:00
|
|
|
|
2018-05-16 21:22:16 +02:00
|
|
|
ASSET_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
|
2018-04-30 15:41:30 +02:00
|
|
|
|
2018-05-16 21:22:16 +02:00
|
|
|
DEFAULT_MARKDOWN_SYNTAX="$ASSET_DIR/syntaxes/Packages/Markdown"
|
2018-04-30 15:41:30 +02:00
|
|
|
|
2018-05-16 21:22:16 +02:00
|
|
|
rm -rf "$DEFAULT_MARKDOWN_SYNTAX"
|
2018-05-06 14:34:10 +02:00
|
|
|
|
2018-05-16 21:22:16 +02:00
|
|
|
bat cache --init --source="$ASSET_DIR" --target="$ASSET_DIR"
|
2018-05-06 14:34:10 +02:00
|
|
|
|
2018-05-16 21:22:16 +02:00
|
|
|
git -C "$ASSET_DIR/syntaxes/Packages" checkout "$DEFAULT_MARKDOWN_SYNTAX"
|