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
#!/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
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
👀 |
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
# 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. |
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
{ | |
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
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
: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