Pinned Loading

1. copy_from_webpage_to_clipboard.js copy_from_webpage_to_clipboard.js

   1

   (function(){

   2

     // This snippet is a customized version of the code found on

   3

     // stackoverflow. Since firefox only copies to the clipboard when the event

   4

     // was triggered by a user, I had to add the button to the top of the page.

   5

     // In chrome it might work without the need for a button, directly from a

2. A small wrapper around sieve-connect... A small wrapper around sieve-connect to make it git-like to use

   1

   #!/bin/bash

   2

   # This is a small wrapper around sieve-connect making it easier to use.

   3

   4

   set -e

   5