chuangzhu

{ lib, fetchurl, writeShellScript, curl, jq, common-updater-scripts }:

let
  fetchModrinth = { meta, passthru ? {}, ... } @ args: fetchurl args // {
    meta = meta // {
      position = let p = builtins.unsafeGetAttrPos "url" args; in "${p.file}:${toString p.line}";
    };
    passthru = passthru // {
      updateScript = writeShellScript "update" ''
        set -xeu -o pipefail

chuangzhu

#!/usr/bin/env python3
# SPDX-License-Identifier: AGPL-3.0
# Convert courses table from https://jw.dgut.edu.cn → 学生服务→ 网上选课→ 选课结果 to iCalendar
# Usage: copy the query result to a spreadsheet application, export it as CSV, then run:
# ./dgutcourses2ics.py 2023-09-04 < courses.csv > courses.ics
#                      ^ first monday of the semester

import csv
import sys
from datetime import datetime, date, time, timedelta

chuangzhu

diff --git a/src/home.h b/src/home.h
index a34b7155..7f6fb730 100644
--- a/src/home.h
+++ b/src/home.h
@@ -12,7 +12,7 @@
 
 #define PHOSH_TYPE_HOME (phosh_home_get_type())
 
-#define PHOSH_HOME_BUTTON_HEIGHT 40
+#define PHOSH_HOME_BUTTON_HEIGHT 32

chuangzhu

👀

chuangzhu

# Should work on all Debian based distros with systemd; tested on Ubuntu 16.04+.
# This will by default install all plugins; you can customize this behavior on line 6. Selecting too many plugins can cause issues when downloading. 
# Run as root (or sudo before every line) please. Note this is not designed to be run automatically; I recommend executing this line by line.

apt install curl
curl https://getcaddy.com | bash -s personal dns,docker,dyndns,hook.service,http.authz,http.awses,http.awslambda,http.cache,http.cgi,http.cors,http.datadog,http.expires,http.filemanager,http.filter,http.forwardproxy,http.geoip,http.git,http.gopkg,http.grpc,http.hugo,http.ipfilter,http.jekyll,http.jwt,http.locale,http.login,http.mailout,http.minify,http.nobots,http.prometheus,http.proxyprotocol,http.ratelimit,http.realip,http.reauth,http.restic,http.upload,http.webdav,net,tls.dns.auroradns,tls.dns.azure,tls.dns.cloudflare,tls.dns.cloudxns,tls.dns.digitalocean,tls.dns.dnsimple,tls.dns.dnsmadeeasy,tls.dns.dnspod,tls.dns.dyn,tls.

chuangzhu

requests==2.28.1
pycryptodome==3.15.0

chuangzhu

{
  services.xserver.enable = true;
  services.xserver.videoDrivers = [ ];
  services.xserver.displayManager.gdm.enable = true;
  services.xserver.desktopManager.gnome.enable = true;
  nixpkgs.overlays = [
    (final: prev: {
      gnome = prev.gnome // rec {
        mutter = prev.gnome.mutter.overrideAttrs (super: rec {
          version = "0ab630277d225cd0b5a15eac44e31ee16cec6676"; # mobile-shell

chuangzhu

chuangzhu

inner_op = ['', '+', '-', '*', '//', '%', '^', '&', '|',
            '*-', '//-', '%-', '+~', '-~', '+~-', '*~', '%~',
            '^-', '&-', '|-', '//~', '^~', '&~', '|~',
            '+(', '-(', '*(', '%(', '^(', '&(', '|(', ')',
            # '+((', '-((', '*((', '//((', '%((', '^((', '&((', '|((', '))',
            ')+(', ')-(', ')*(', ')//(', ')%(', ')^(', ')&(', ')|(']
# leading_op = ['', '-', '~', '-(', '-((', '~(', '~((', '(', '((']
leading_op = ['', '-', '~', '-(', '~(', '(']
# trailing_op = ['', ')', '))']
trailing_op = ['', ')']

chuangzhu

:root {
    --background-1: #31363b;
    --background-2: #232629;
    --foreground-color: #eff0f1;
    --border-color: #616569;
    --highlight-color: #3daee9;
    --highlight-contrast: #3daee9;
    --sn-stylekit-info-color: #3daee9;
    --sn-stylekit-info-contrast-color: #cccccc;
    --sn-stylekit-neutral-color: #3daee9;