This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ 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 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/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 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
👀 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ | |
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 |
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
requests==2.28.1 | |
pycryptodome==3.15.0 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
inner_op = ['', '+', '-', '*', '//', '%', '^', '&', '|', | |
'*-', '//-', '%-', '+~', '-~', '+~-', '*~', '%~', | |
'^-', '&-', '|-', '//~', '^~', '&~', '|~', | |
'+(', '-(', '*(', '%(', '^(', '&(', '|(', ')', | |
# '+((', '-((', '*((', '//((', '%((', '^((', '&((', '|((', '))', | |
')+(', ')-(', ')*(', ')//(', ')%(', ')^(', ')&(', ')|('] | |
# leading_op = ['', '-', '~', '-(', '-((', '~(', '~((', '(', '(('] | |
leading_op = ['', '-', '~', '-(', '~(', '('] | |
# trailing_op = ['', ')', '))'] | |
trailing_op = ['', ')'] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
--- | |
name: gemoji | |
version: "2020.4.28" | |
sort: by_weight | |
use_preset_vocabulary: true | |
... | |
😀 ugrinning | |
😃 usmiley |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
: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; |
NewerOlder