chuangzhu

#!/usr/bin/env python3

import iio
import datetime
import logging
import time
from prometheus_client import start_http_server, Gauge

GAUGE_PRESSURE = Gauge('pressure',
                       'Temperature (kPa)',

chuangzhu

{
  nixpkgs ? <nixpkgs>,
  system ? builtins.currentSystem,
}:

(import nixpkgs {
  localSystem = { inherit system; };
  crossSystem = {
    config = "riscv32-none-elf";
    libc = "newlib";

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

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

#!/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

👀

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

requests==2.28.1
pycryptodome==3.15.0

chuangzhu

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