One Paragraph of project description goes here
These instructions will get you a copy of the project up and running on your local machine for development and testing purposes. See deployment for notes on how to deploy the project on a live system.
| #!/bin/sh | |
| # Scrapes documentation from a URL and converts it to Markdown suitable for aider convention files | |
| # to provide context to the LLM. | |
| if [ $# -eq 0 ]; then | |
| echo "Usage: $(basename "$0") <URL> [URL...]" | |
| echo | |
| echo "Generate aider 'convention' Markdown context from documentation URLs." | |
| echo "suitable for providing LLM context about a project's conventions and style." |
| #!/usr/bin/env python3 | |
| # | |
| # usage: wacz-images.py <wacz_file> | |
| # | |
| # This program will extract images from the WARC files contained in a WACZ | |
| # file and write them to the current working directory using the image's URL | |
| # as a file location. | |
| # | |
| # You will need to `pip install warcio` for it to work. |
| /** | |
| * Javacript for loading custom Google Analytics events | |
| * | |
| * @since 1.0.0 | |
| */ | |
| (function($) { | |
| // GA Docs for Social Interactions: | |
| // https://developers.google.com/analytics/devguides/collection/analyticsjs/social-interactions |
| #!/usr/bin/ruby | |
| # encoding: utf-8 | |
| # Grab google web fonts and embed them as base64 data URIs | |
| # <http://brettterpstra.com/2015/03/14/embedding-google-web-fonts/> | |
| require 'base64' | |
| if ARGV.length > 0 | |
| input = ARGV | |
| elsif STDIN.stat.size > 0 | |
| input = STDIN.read.strip.split(/\n+/) |
| <?php // Common way to do it: | |
| remove_filter( 'the_title', 'wptexturize' ); | |
| $title = get_the_title(); | |
| add_filter( 'the_title', 'wptexturize' ); |
Locate the section for your github remote in the .git/config file. It looks like this:
[remote "origin"]
fetch = +refs/heads/*:refs/remotes/origin/*
url = [email protected]:joyent/node.git
Now add the line fetch = +refs/pull/*/head:refs/remotes/origin/pr/* to this section. Obviously, change the github url to match your project's URL. It ends up looking like this: