Laura7089

#!/bin/env -S just --justfile

PKG_GLOB := "*.pkg.*"
BROWSER := env_var_or_default("BROWSER", "xdg-open")

# build the package (need to be next to PKGBUILD)
[no-cd]
[no-exit-message]
build *args="--force": && check
    makepkg {{args}}

Laura7089

#!/bin/env python3
import re
from sys import argv, stderr

import requests
from bs4 import BeautifulSoup
from thefuzz import fuzz

SLUG_ELIMINATE = [
    " ",

Laura7089

#!/bin/sh
set -eu

# To use as a cargo runner, set:
#
# [target.YOUR_TARGET_NAME]
# runner = "./picotool.sh" # or wherever you put this script
#
# in .cargo/config.toml
# YOUR_TARGET_NAME is probably thumbv6m-none-eabi for the pico

Laura7089

set positional-arguments

BADGE_PATH := "/dev/ttyACM0"
PB := `pwd` + "/pyboard.py --no-soft-reset -d '" + BADGE_PATH + "'"

# Download and install
hatch app_name: (download app_name) && (flash app_name)

# Download an app from the hatchery
download app_name:

Laura7089

# -*- mode: ruby -*-
# vi: set ft=ruby :

Vagrant.configure("2") do |config|
  config.vm.box = "dajonaga/focaldesktop"
  config.vm.box_check_update = false

  # Create a forwarded port mapping which allows access to a specific port
  # within the machine from a port on the host machine. In the example below,
  # accessing "localhost:8080" will access port 80 on the guest machine.

Laura7089

# Maintainer: Laura Demkowicz-Duffy <[email protected]>
_pkgname=packer-plugin-ansible
pkgname=${_pkgname}-patch
pkgver=1.0.1
pkgrel=1
pkgdesc="Packer ansible plugin with patch applied"
arch=('x86_64')
url="https://github.com/hashicorp/packer-plugin-ansible/issues/69"
license=('MPL2')
depends=(ansible packer)

Laura7089

#!/bin/bash
set -eo pipefail

# Based on https://wekan.github.io/api/v2.55/#wekan-rest-api

if [[ $# < 3 ]]; then
    printf "Usage:

$0 <server address> <export directory> <board>...\n"
    exit 1

Laura7089

#!/usr/bin/env python3

from os import environ, path
from sys import argv

from steam.steamid import SteamID
from steam.webapi import WebAPI


def get_api():

Laura7089

#!/usr/bin/env python

# Unix only. Call with "./m3upi_to_m3u8.py [path to PiPlaylistSong.m3upi] [path to music directory on PC].
# This script assumes you have the same music in the folder you specify as in the Music folder on your phone. (You can mount your phone with mtpfs and point this script at the Music folder in that if you want)
# Change constants as needed below.
import json
import os
import sys

# The names you want the playlists to be saved under; Pi does not seem to export names, only IDs.

Laura7089

#!/bin/bash
result=$(printf "$@" | sed "s/./||&||/g")
printf "Copied!\n"
printf "$result" | xclip -selection clipboard