ivan

#!/usr/bin/env bash

# Print an outline of Rust code in the current directory

GRAY=$(tput setaf 7)
PURPLE=$(tput setaf 5)
BOLD=$(tput bold)
CLEAR=$(tput sgr0)

rg --sort path --heading --no-line-number --glob '*.rs' '\b(fn|struct|enum|trait|impl|mod|macro_rules)\b' |\

ivan

backup-file: rsync --modify-window=-1 without --checksum


Hello,

https://www.postgresql.org/docs/current/backup-file.html says "--checksum is necessary because rsync only has file modification-time granularity of one second". rsync -c / --checksum can really slow things down and thus extends the period during which the server must be down to get a consistent backup. So it would be helpful to know whether --checksum can be avoided by using `rsync --modify-window=-1` i.e. `rsync -@-1`. That argument tells rsync to use nanosecond precision when comparing timestamps. The PostgreSQL documentation sort of implies that -@-1 without -c would be safe, but it might be helpful to be explicit with the information that PostgreSQL really does always update mtimes when writing, and that rsync -@-1 without -c is safe (if this is true, I mean). Alternatively, if it is somehow not true, the implication that the only problem is one second granularity could be avoided.

Best regards,

Ivan

ivan

This is for people who find that

"window.newWindowDimensions": "maximized",

does not actually work on Windows. Symptoms: some or all vscode windows are not maximized on startup.

The first thing you'll want is

ivan

save with a bookmark keyword (Firefox) or search engine shortcut (Chrome), e.g. "readw" and then run with "readw 30"

javascript:(function() { var width = %s || 40; var styles=`div, p { line-height: 135% } body { margin: 0 auto 0 auto !important; max-width: ${width}em }`; var newSS=document.createElement('link'); newSS.rel='stylesheet'; newSS.href='data:text/css,' + escape(styles); document.getElementsByTagName("head")[0].appendChild(newSS); })();

ivan

at@dev:/home/at/code/postgresql/postgresql:REL_14_STABLE# git pull --rebase
remote: Enumerating objects: 14385, done.
remote: Counting objects: 100% (14385/14385), done.
remote: Compressing objects: 100% (5907/5907), done.
error: RPC failed; curl 92 HTTP/2 stream 11 was not closed cleanly before end of the underlying stream
fetch-pack: unexpected disconnect while reading sideband packet
fatal: early EOF
fatal: fetch-pack: invalid index-pack output

at@dev:/home/at/code/postgresql/postgresql:REL_14_STABLE# cat .git/config

ivan

<script lang="ts">
    import escapeRegExp from 'lodash.escaperegexp';

    export let lines:     string[] = [];

    let filter_string:    string = "";
    let match_case:       boolean = false;
    let match_whole_word: boolean = false;
    let use_regexp:       boolean = false;

ivan

<script lang="ts">
    import escapeRegExp from 'lodash.escaperegexp';

    export let lines: string[] = [];

    let filter_string: string = "";
    let match_case: boolean = false;
    $: escaped_filter_string = escapeRegExp(filter_string);
    $: regexp = new RegExp(escaped_filter_string, match_case ? undefined : "i");
    $: {

ivan

! This is the most annoying one that Google optimizes for accidental clicks.
!
! Hide the 'People also search for' slide-in box when going back on Google Search.
! We require the other attributes here to reduce the risk of false positives.
www.google.com#$#div[id^="eob_"][jscontroller][jsdata][jsaction][data-ved] { display: none !important; }

! Hide the 'People also ask' box
www.google.com#$#div[data-initq][data-it][jscontroller][jsaction]:nth-ancestor(1) { display: none !important; }

! Hide the 'Related searches' box

ivan

/**
 * A wrapper to work around otherwise not being able to mutate caller's string.
 */
class WrappedValue {
    constructor(public val: any) {}
}

function strip_out_nuls_(wrapped: WrappedValue): number {
    let had_nul = 0;
    const val = wrapped.val;

ivan

# or properly via environment.systemPackages
nix-env -iA google-chrome-dev nodePackages.pnpm nodejs_latest

(cd ~/ && git clone https://github.com/gildas-lormeau/SingleFile)
(cd ~/SingleFile/cli && pnpm install --ignore-scripts --no-optional --prod)

~/SingleFile/cli/single-file --browser-executable-path google-chrome-unstable --dump-content "https://twitter.com/"