euhmeuh

/*
  Put this file in:
  - <your profile folder>/chrome/userChrome.css

  Then set up the configuration key:
  - toolkit.legacyUserProfileCustomizations.stylesheets = true
*/

tab[pinned="true"] .tab-icon-image {
    filter: grayscale(100%) invert();

euhmeuh

cat /proc/sys/kernel/random/uuid

euhmeuh

$FFFF constant FILE-MAX-SIZE

: >rcopy ( a -- a ) ( R: -- a )
  compile dup
  compile >r
; immediate

: rfetch> ( -- a ) ( R: a -- a )
  compile r>
  compile dup

euhmeuh

\ === Create a constant string array ===

: count  ( addr -- addr size )
  \ this function may be standard in some forths
  dup +1 swap c@
;

: csarray  ( here nstrings -- )
  create
    0 do

euhmeuh

keymap:
  normal:
    ",": view::scroll_down
    ";": view::scroll_up
    delete: buffer::delete

    # Command mode like Vim
    ":": application::switch_to_command_mode

    # Swap "delete line" and "small jump" because delete was to close

euhmeuh

function sequence() {
  const funcs = arguments;
  return function(x) {
    return Array.from(funcs).reduce((x, func) => func.call(null, x), x);
  };
}

function compose() {
  return sequence.apply(null, Array.from(arguments).reverse());
}

euhmeuh

// Place your key bindings in this file to overwrite the defaults
[
    {
        "key": "ctrl+shift+d",
        "command": "editor.action.copyLinesDownAction",
        "when": "editorTextFocus && !editorReadonly"
    },
    {
        "key": "ctrl+shift+alt+down",
        "command": "-editor.action.copyLinesDownAction",

euhmeuh

#lang s-exp "urlang.rkt"

(define (hello name)
  (console.log (+ "Hello " name "!")))

(hello "Urlang world")

euhmeuh

;; How modules work in Racket

(require fruits)        => "fruits/main.rkt"
(require fruits/banana) => "fruits/banana.rkt"
#lang fruits            => "fruits/lang/reader.rkt" OR (submod "fruits/main.rkt" reader)
#lang fruits/apple      => "fruits/apple/lang/reader.rkt" OR (submod "fruits/apple.rkt" reader)

fruits
|
+- main.rkt        (require fruits)

euhmeuh

git filter-branch --commit-filter '
        if [ "$GIT_AUTHOR_EMAIL" = "old.mail@example.com" ];
        then
                GIT_AUTHOR_NAME="username";
                GIT_AUTHOR_EMAIL="new.mail@example.com";
                git commit-tree "$@";
        else
                git commit-tree "$@";
        fi' HEAD