Chuang Zhu chuangzhu

## spectrogram_to_audio.ipynb

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                chuangzhu
                / spectrogram_to_audio.ipynb
            
            
              Created
              October 30, 2021 05:56
            
              
                ustclug-hackergame-2021-write-up
              
          
      Sorry, something went wrong. Reload?
      Sorry, we cannot display this file.
      Sorry, this file is invalid so it cannot be displayed.
      
          Viewer requires iframe.
      
    
## gnome-mobile.nix
{
  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

## 👀
👀

## dgutcourses2ics.py
#!/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

## phosh.patch
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

## mcmods.nix
{ 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
	{
	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
	#!/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
	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
	{ 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