Discover gists

GitHubでゴーストを公開する際にはBOTにネットワーク更新用ファイルを作ってもらおう

伺か Advent Calendar 2021 4日の記事です。
昨日のななっちさんの記事「ななろだについてだべる」に続きましてDonがお送りします。

今日はこれだけ覚えて帰ってください。
GitHubにはネットワーク更新用ファイル(updates.txt)を作ってくれるBOTがいる。
(正確には「updates.txtを自動作成するGitHub Actionsが存在する」)

伺か Advent Calendar 2021 11日の記事です。
前回(4日)の記事に続いてGitHub関連の記事をDonがお送りします。

GitHubを使うときはテキストファイルの文字コードをUTF-8に統一しよう！

YAYAとGitHubを使うことを想定したターゲット狙い撃ちの記事

Filter	Description	Example
allintext	Searches for occurrences of all the keywords given.	`allintext:"keyword"`
intext	Searches for the occurrences of keywords all at once or one at a time.	`intext:"keyword"`
inurl	Searches for a URL matching one of the keywords.	`inurl:"keyword"`
allinurl	Searches for a URL matching all the keywords in the query.	`allinurl:"keyword"`
intitle	Searches for occurrences of keywords in title all or one.	`intitle:"keyword"`


	const numFeatures = 100;
	const numPolygons = 5;
	const numRings = 10;
	const numPoints = 10000;

	console.time('populate storage');
	const features = [];

	for (let i = 0; i < numFeatures; i++) {

	"use client"

	import * as React from "react"
	import { buttonVariants } from "@/components/ui/button"
	import { ScrollArea } from "@/components/ui/scroll-area"
	import { Select, SelectContent, SelectItem, SelectTrigger, SelectValue } from "@/components/ui/select"
	import { cn } from "@/lib/utils"
	import { ChevronLeft, ChevronRight } from "lucide-react"
	import { DayPicker, DropdownProps } from "react-day-picker"

	#!/bin/bash
	# This is a hack to make Bluetooth headests like the jabra Evolve 65 actually
	# work as a headset with the Linux (Ubuntu/Debian) Zoom client without having
	# to switch manually from A2DP to the HSP/HFP profile.
	#
	# This is done by injecting an environment variable which makes PulseAudio
	# recognize the application as a telephony/voice application as described
	# here:
	# * https://www.freedesktop.org/wiki/Software/PulseAudio/Documentation/User/Bluetooth/#profiles
	# * https://www.freedesktop.org/wiki/Software/PulseAudio/Documentation/Developer/Clients/ApplicationProperties/#pa_prop_media_role

	# AUTOMATE UDIO
	# by DADABOTS dadabots.com
	# was working on 2024-04-13

	# tldr; get your login cookie, use it to automate udio from python

	import requests
	import json
	from time import sleep
	import re

	# VERY IMPORTANT! After each kernel update or dkms rebuild the modules must be signed again with the script
	# ~/.ssl/sign-all-modules.sh

	# Place all files in ~/.ssl folder
	mkdir ~/.ssl
	cd ~/.ssl

	# Generate custom keys with openssl
	openssl req -new -x509 -newkey rsa:2048 -keyout MOK.priv -outform DER -out MOK.der -nodes -subj "/CN=Owner/"

	import java.io.DataOutputStream;
	import java.io.IOException;
	import java.io.OutputStream;
	import java.net.Socket;

	public class Client {
	public static void main(String[] args) throws IOException {
	// need host and port, we want to connect to the ServerSocket at port 7777
	Socket socket = new Socket("localhost", 7777);
	System.out.println("Connected!");