takagiy

// ---- Types ----

export interface StatuslineInput {
  model?: { display_name?: string };
  workspace?: { current_dir?: string };
  cwd?: string;
  context_window?: {
    context_window_size?: number;
    current_usage?: {
      input_tokens?: number;

takagiy

import XMonad
import XMonad.Util.EZConfig (additionalKeysP, removeKeysP)
import XMonad.Util.SpawnOnce
import XMonad.Hooks.EwmhDesktops
import XMonad.Hooks.ManageDocks
import XMonad.Layout.Spacing
import XMonad.Layout.ToggleLayouts
import qualified XMonad.StackSet as W

main = xmonad $ docks $ ewmh $ ewmhFullscreen $ def

takagiy

# See https://rust-lang.github.io/rustfmt/ for details on the options.
unstable_features = true

imports_granularity = "Crate"
group_imports = "One"

normalize_comments = true
wrap_comments = true
comment_width = 100       # Same as the default value of `max_width`.

takagiy

#!/bin/python

import discord
import requests
import subprocess
import asyncio
import signal
import sys

client = discord.Client()

takagiy

[Security]
EAP-Method=PEAP
EAP-Identity=anonymous@kyoto-u.f.eduroam.jp
EAP-PEAP-Phase2-Method=MSCHAPV2
EAP-PEAP-Phase2-Identity=<ENTER YOUR EDUROAM ID HERE>@kyoto-u.f.eduroam.jp
EAP-PEAP-Phase2-Password=<ENTER YOUR EDUROAM PASSWORD HERE>

[Settings]
AutoConnect=true

takagiy

@require: math

let-block ctx +math label math =
  let indent = inline-skip 1.5cm in
  let math = embed-math ctx math in
  let label = read-inline ctx label in
  line-break true true ctx (indent ++ math ++ inline-fil ++ label ++ indent)

let-mutable form-num <- 0

takagiy

@require: math

let-block ctx +math label math =
  let indent = inline-skip 1.5cm in
  let math = embed-math ctx math in
  let label = read-inline ctx label in
  line-break true true ctx (indent ++ math ++ inline-fil ++ label ++ indent)

let-mutable form-num <- 0

takagiy

@require: color
@require: list
@require: gr
@require: table

type head-kind =
  | Text of inline-text
  | Value of inline-text

let-rec head-cell

takagiy

#!/bin/bash


print_stat() {
  { [ ${1,,} = 'up' ] && echo '.oO' || echo '___'; } | sed -n 's/^/ /p'
}

get_interface() {
  INTERFACE=$(ip route | sed -n '0,/.* dev \([^ ]*\) .*/s//\1/p')
  [ -z ${INTERFACE} ] && return 1 || return 0

takagiy

#!/bin/python3

import gi
gi.require_version('Playerctl', '2.0')
from gi.repository import Playerctl, GLib

PLAYING = ''
PAUSED = ''

class Player: