Skip to content
Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
Go to file
Cannot retrieve contributors at this time
executable file 24 lines (17 sloc) 559 Bytes
set -x
set -e
# Build the docset
dashing build
# Path to docset db index
# Fix newlines
newlined=$(echo "SELECT id FROM searchIndex WHERE name LIKE '%
%';" | sqlite3 $DB)
for id in $newlined; do
name=$(echo "SELECT name FROM searchIndex WHERE id = ${id};" | sqlite3 $DB)
newname=$(echo $name | awk '{ print $1 }')
echo "UPDATE searchIndex SET name = '${newname}' WHERE id = ${id};" | sqlite3 $DB
# Compress docset
tar --exclude='.DS_Store' -cvzf Crystal.tgz Crystal.docset