Skip to content

Instantly share code, notes, and snippets.

@andreineculau
Created August 25, 2023 20:42
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save andreineculau/ee2d5c24a8baf68d286854a553f5c1e8 to your computer and use it in GitHub Desktop.
Save andreineculau/ee2d5c24a8baf68d286854a553f5c1e8 to your computer and use it in GitHub Desktop.
Snowflake docsetconfig for Dash
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>allowFilters</key>
<string>docs.snowflake.com/en/*</string>
<key>basicIndexEnabled</key>
<true/>
<key>cssToInject</key>
<string>footer, #masthead, aside {
display: none !important;
}
</string>
<key>denyFilters</key>
<string></string>
<key>docsetKeyword</key>
<string>sf</string>
<key>docsetName</key>
<string>Snowflake reference</string>
<key>extraInfoPlist</key>
<string></string>
<key>isFromLocalFolder</key>
<false/>
<key>isFromWebsite</key>
<true/>
<key>javaScriptIndexEnabled</key>
<false/>
<key>javaScriptUsedToIndex</key>
<string>const pageTitle = $("title").text();
dashDoc.addEntry({name: pageTitle, type: "Guide"});
$("h1").each(function() {
const entryName = $(this).text();
var entryHash = $(this).attr('id');
if(!entryHash)
{
entryHash = entryName.replace(/\W/g, '');
$(this).attr('id', entryHash);
}
dashDoc.addEntry({name: entryName, type: "Section", hash: entryHash});
});</string>
<key>localFolderPath</key>
<string></string>
<key>websiteURL</key>
<string>https://docs.snowflake.com/en/reference</string>
</dict>
</plist>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment