ref: 90483ea4245e8085728f1fb953019fcb30e9f53b
parent: a8462d5114f895b5fd937736d92c6ff148bec0a5
author: Jacobo Da Riva Muñoz <jdrm@disroot.org>
date: Thu Jun 26 13:27:25 EDT 2025
Cleaning
--- a/install/rioTheming
+++ /dev/null
@@ -1,17 +1,0 @@
-#!/bin/rc
-
-if(~ $#* 0){- echo 'Usage: rioTheming install|uninstall'
-}
-
-bind -ac /dist/plan9front /
-cd /sys/src/cmd/rio
-switch($1){-case 'install'
- hget https://ftrv.se/_/9/patches/rio-themes.patch | ape/patch -p5
- mk install
-case 'uninstall'
- git/revert .
- rm -f *.rej *.orig menuhit.c col.h
- mk install
-}
\ No newline at end of file
--
⑨