Michael Neu michaelneu

## free-vscode-memory.sh
#!/bin/bash

function warn {
	i3-nagbar -t warning -m 'killed vscode cpp language server' > /dev/null
}

function kill_leak {
	memory_leak=$(ps -eo pmem,pid,cmd | sort -k1 -nr | head -n1)

	if [[ $memory_leak == *"cpptools-srv"* ]]; then

## hide.css
.p-client.p-client--ia-top-nav {
  grid-template-rows: 0 auto min-content;
}

.p-client.p-client--ia-top-nav > .p-top_nav {
  opacity: 0.1;
}

.p-client.p-client--ia-top-nav > .p-top_nav:hover {
  opacity: 1;

## simple-watchman.sh
#!/bin/bash

which inotifywait 2>/dev/null > /dev/null

if [[ $? != 0 ]]; then
  echo "can't listen for events, install inotify-tools first"
  exit 1
fi

directories=""

## README.md

      
              4 files
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                michaelneu
                / README.md
            
            
              Last active
              February 23, 2020 00:19
            
              
                A bookmarklet to view the page source on iOS Safari - without sending your URL to a third party service.
              
          
    view-source on iOS Safari - without 3rd party services

A bookmarklet to display the current page's HTML in a new tab. Supports HTML syntax highlighting and indentation, JavaScript keywords will be highlighted, too.
Installation

Before adding the bookmarklet, you need to either build view-source.js, or copy view-source.min.js to your clipboard, as we'll paste this into the bookmarklet later.
Safari apparently doesn't support adding a custom bookmarklet, so you'll need to follow these steps:

  
## .dockerignore
build/
test/build/

## convert-bytes-to-header.py
#!/usr/bin/env python3

import sys

if __name__ == "__main__":
  filename = sys.argv[1] if len(sys.argv) == 2 else "main.wasm"
  print("[*] Reading", filename)

  with open(filename, "rb") as content_fh:
    content = content_fh.read()

## convert-pdf-to-png.sh
#!/bin/bash

for pdf in *.pdf; do
	png_name="${pdf%.pdf}.png"
	echo "converting '$pdf' to '$png_name'"
	convert -density 300 "$pdf" -background white -alpha remove -alpha off "$png_name"
done

## upload.py
from flask import Flask, request
from werkzeug import secure_filename

app = Flask(__name__)

@app.route("/", methods=["GET"])
def index():
    return """<!doctype html>
<html>
    <body>

## Program.cs
using System;
using System.Diagnostics;
using System.Linq;
using System.Runtime.InteropServices;
using System.Threading;

namespace ConsoleClicker
{
    class Program
    {

## a.html
<!DOCTYPE html>
<html>

<head>
  <title>a</title>
</head>

<body>
  <video playsinline autoplay></video>
  <script src="https://webrtc.github.io/adapter/adapter-latest.js"></script>
	#!/bin/bash

	function warn {
	i3-nagbar -t warning -m 'killed vscode cpp language server' > /dev/null
	}

	function kill_leak {
	memory_leak=$(ps -eo pmem,pid,cmd \| sort -k1 -nr \| head -n1)

	if [[ $memory_leak == "cpptools-srv" ]]; then
	.p-client.p-client--ia-top-nav {
	grid-template-rows: 0 auto min-content;
	}

	.p-client.p-client--ia-top-nav > .p-top_nav {
	opacity: 0.1;
	}

	.p-client.p-client--ia-top-nav > .p-top_nav:hover {
	opacity: 1;
	#!/bin/bash

	which inotifywait 2>/dev/null > /dev/null

	if [[ $? != 0 ]]; then
	echo "can't listen for events, install inotify-tools first"
	exit 1
	fi

	directories=""
	#!/bin/bash

	for pdf in *.pdf; do
	png_name="${pdf%.pdf}.png"
	echo "converting '$pdf' to '$png_name'"
	convert -density 300 "$pdf" -background white -alpha remove -alpha off "$png_name"
	done
	from flask import Flask, request
	from werkzeug import secure_filename

	app = Flask(__name__)

	@app.route("/", methods=["GET"])
	def index():
	return """<!doctype html>
	<html>
	<body>
	using System;
	using System.Diagnostics;
	using System.Linq;
	using System.Runtime.InteropServices;
	using System.Threading;

	namespace ConsoleClicker
	{
	class Program
	{
	<!DOCTYPE html>
	<html>

	<head>
	<title>a</title>
	</head>

	<body>
	<video playsinline autoplay></video>
	<script src="https://webrtc.github.io/adapter/adapter-latest.js"></script>