# HG changeset patch # User Richard Westhaver # Date 1722058416 14400 # Node ID cd1c5559ddac6e07d6d1b74227cff4a2d4740b28 # Parent 10fe0e4323400d95545834af3701aa8ad6d6dd1c web init diff -r 10fe0e432340 -r cd1c5559ddac .gitconfig --- a/.gitconfig Sun Jul 21 21:01:03 2024 -0400 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,9 +0,0 @@ -[user] - name = cc - email = richard.westhaver@gmail.com -[init] - defaultBranch = default -[safe] - directory = /home/vc/src -[credential] - helper = /usr/lib/git-core/git-credential-libsecret diff -r 10fe0e432340 -r cd1c5559ddac .homerc --- a/.homerc Sun Jul 21 21:01:03 2024 -0400 +++ b/.homerc Sat Jul 27 01:33:36 2024 -0400 @@ -1,5 +1,5 @@ ;;; -*- mode:skel; -*- -:user vc +:user web :packy "~/.stash/packy" :shell :bash :src "~/.stash/home/" diff -r 10fe0e432340 -r cd1c5559ddac .skelrc --- a/.skelrc Sun Jul 21 21:01:03 2024 -0400 +++ b/.skelrc Sat Jul 27 01:33:36 2024 -0400 @@ -1,5 +1,5 @@ ;;; .skelrc --- ellis@rurik -*- mode: skel; -*- -:user "vc" +:user "web" :vc :hg :log-level :trace :stash "~/.stash" diff -r 10fe0e432340 -r cd1c5559ddac hgweb.conf --- a/hgweb.conf Sun Jul 21 21:01:03 2024 -0400 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,31 +0,0 @@ -[web] -port = 8888 -encoding = UTF-8 -# allow_archive = zip -baseurl = https://vc.compiler.company -contact = ellis -# templates = theme -# style = monoblue -templates = /home/vc/templates -style = gitweb -# pygments_style = tango -highlightfiles = size('<100k') -# highlightonlymatchfilename = True -logourl = https://vc.compiler.company -staticurl = /static -descend = True -collapse = False -allow_push = ellis -[extensions] -# requires pygments to be installed -highlight = -clonebundles = -histedit = -git = -# external -# hggit = -[paths] -/ = /home/vc/src/** -[phases] -publish = False -new-commit = draft \ No newline at end of file diff -r 10fe0e432340 -r cd1c5559ddac hgweb.ini --- a/hgweb.ini Sun Jul 21 21:01:03 2024 -0400 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,17 +0,0 @@ -[uwsgi] -master = true -# max-requests = 1000 -# logto = {log file path}/hgweb-uwsgi.log -uid = vc # set process owner -gid = vc -stats = /run/vc/stats.sock -chmod-socket = 666 -cap = setgid,setuid -# https://www.mercurial-scm.org/wiki/PublishRepositoriesOnNginx -plugins = python -socket = /run/vc/hgweb.sock -chdir = /home/vc/ -wsgi-file = hgweb.wsgi -# https://stackoverflow.com/questions/15878176/uwsgi-invalid-request-block-size -# http://uwsgi-docs.readthedocs.io/en/latest/ThingsToKnow.html -# buffer-size = 65535 diff -r 10fe0e432340 -r cd1c5559ddac hgweb.wsgi --- a/hgweb.wsgi Sun Jul 21 21:01:03 2024 -0400 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,7 +0,0 @@ -#!/usr/bin/env python3 -config = b"/home/vc/hgweb.conf" -# enable demandloading to reduce startup time -from mercurial import demandimport; demandimport.enable() -from mercurial.hgweb import hgweb, wsgicgi -application = hgweb(config) -wsgicgi.launch(application) diff -r 10fe0e432340 -r cd1c5559ddac static/followlines.js --- a/static/followlines.js Sun Jul 21 21:01:03 2024 -0400 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,286 +0,0 @@ -// followlines.js - JavaScript utilities for followlines UI -// -// Copyright 2017 Logilab SA -// -// This software may be used and distributed according to the terms of the -// GNU General Public License version 2 or any later version. - -//** Install event listeners for line block selection and followlines action */ -document.addEventListener('DOMContentLoaded', function() { - var sourcelines = document.getElementsByClassName('sourcelines')[0]; - if (typeof sourcelines === 'undefined') { - return; - } - // URL to complement with "linerange" query parameter - var targetUri = sourcelines.dataset.logurl; - if (typeof targetUri === 'undefined') { - return; - } - - // Tag of children of "sourcelines" element on which to add "line - // selection" style. - var selectableTag = sourcelines.dataset.selectabletag; - if (typeof selectableTag === 'undefined') { - return; - } - - var isHead = parseInt(sourcelines.dataset.ishead || "0"); - - //* position "element" on top-right of cursor */ - function positionTopRight(element, event) { - var x = (event.clientX + 10) + 'px', - y = (event.clientY - 20) + 'px'; - element.style.top = y; - element.style.left = x; - } - - // retrieve all direct *selectable* children of class="sourcelines" - // element - var selectableElements = Array.prototype.filter.call( - sourcelines.children, - function(x) { return x.tagName === selectableTag; }); - - var btnTitleStart = 'start following lines history from here'; - var btnTitleEnd = 'terminate line block selection here'; - - //** return a - var button = document.createElement('button'); - button.textContent = 'x'; - buttonDiv.appendChild(button); - div.appendChild(buttonDiv); - - //