Christopher Guest chrisguest75

Replace FontSize on Trint Editor

This is an unsupported bookmarklet hack to change the fontsize of the editor.

Bookmarklets Explained here

Open bookmarks in Chrome Browser. Open bookmark manager and add the following snippet inside the block as the URL.

javascript: (() =&gt; {

	#!/usr/bin/env bash
	set -ef -o pipefail

	readonly SCRIPT_NAME=$(basename "$0")
	readonly SCRIPT_PATH=${0}
	# shellcheck disable=SC2034
	readonly SCRIPT_DIR=$(dirname "$SCRIPT_PATH")

	(return 0 2>/dev/null) && SOURCED=1 \|\| SOURCED=0
	if [[ $SOURCED == 1 ]]; then

	#!/usr/bin/env bash
	#
	# Bootstrap script for setting up a new OSX machine
	#
	# This should be idempotent so it can be run multiple times.
	#
	# Notes:
	#
	# - If installing full Xcode, it's better to install that first from the app
	# store before running the bootstrap script. Otherwise, Homebrew can't access

	{
	// Place your snippets for python here. Each snippet is defined under a snippet name and has a prefix, body and
	// description. The prefix is what is used to trigger the snippet and the body will be expanded and inserted. Possible variables are:
	// $1, $2 for tab stops, $0 for the final cursor position, and ${1:label}, ${2:another} for placeholders. Placeholders with the
	// same ids are connected.
	// Example:

	"main.py Template": {
	"prefix": "main.py",
	"body": [

	Copyright 2017 Chris Guest

	Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:

	The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.

	THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER

	#!/usr/bin/env bash
	#Use !/bin/bash -x for debugging

	readonly SCRIPT_NAME=$(basename "$0")
	readonly SCRIPT_PATH=${0:A}
	readonly SCRIPT_DIR=$(dirname "$SCRIPT_PATH")

	#****************************************************************************
	#** Print out usage
	#****************************************************************************

	#!/usr/bin/env bash

	stat /media/$(whoami)/boot
	result=$?
	if [[ "${result}" -eq "1" ]]; then
	echo "Disk is not inserted"
	exit 1
	fi
	sudo touch /media/$(whoami)/boot/ssh
	sleep 2

	#!/usr/bin/env bash

	function showremote() {
	repopath="$(dirname "$1")"
	pushd ${repopath} > /dev/null
	url=$(git ls-remote --get-url 2>/dev/null)
	result=$?
	if [ $result -ne 0 ]; then
	url="No remote configured"
	fi