brunnre8

set folder = "~/mail"
source mailboxes-virt

unset record
unset move
unset mark_old

set edit_headers=yes

set realname="Reto"

brunnre8

irc.example.com {
 proxy / localhost:9000 {
                websocket
                header_upstream X-Forwarded-For {remote}
                header_upstream X-Forwarded-Proto {scheme}
        }
}

brunnre8

From d9091cccc4adfb163818ea716fc6895f91393029 Mon Sep 17 00:00:00 2001
From: Reto Brunner <brunnre8@gmail.com>
Date: Thu, 10 Jan 2019 19:48:07 +0100
Subject: [PATCH] make manpage


diff --git a/.SRCINFO b/.SRCINFO
index 1c6b551..4d4c20f 100644
--- a/.SRCINFO
+++ b/.SRCINFO

brunnre8

function dirFileCount() {
    start=${1:=.}
    for i in "${start}"/*; do echo -n "$i "; find $i | wc -l; done
}

brunnre8

(oppia)[ reto- ~/git/oppia_dev/hook_issue/oppia (replace-splash-logged-in-user)]$ git push test replace-splash-logged-in-user
ref_list:
[GitRef(local_ref='refs/heads/replace-splash-logged-in-user', local_sha1='2d04a6896432c83fbe45783f27e95b7c5700b91d', remote_ref='refs/heads/replace-splash-logged-in-user', remote_sha1='0000000000000000000000000000000000000000')]

Modified files in replace-splash-logged-in-user:
[FileDiff(status='M', name='core/templates/dev/head/base.js')]

Files to lint in replace-splash-logged-in-user:
['core/templates/dev/head/base.js']

brunnre8

vagrant@vagrant-ubuntu-trusty-64:~/oppia$ sudo scripts/start.sh
Checking if node.js is installed in /home/vagrant/oppia_tools
Installing Node.js
Generating list of installed node modules...
Generation completed.
Checking whether GAE is installed in /home/vagrant/oppia_tools/google_appengine_1.9.19/google_appengine
Installing Google App Engine (this may take a little while)...
Environment setup completed.
Installing third-party JS libraries and zip files.
Downloading file yuicompressor-2.4.8.jar to ../oppia_tools/yuicompressor-2.4.8