svbergerem

import requests
urlFrom = 'https://cloud.domainfrom.tld'
authFrom = ('username', 'password')

urlTo = 'https://nextcloud.domainto.tld'
authTo = ('username', 'password')

headers={'OCS-APIRequest': 'true', 'Content-Type': 'application/json'}

matt-bailey

How to set up DNS records on gandi.net to use a custom domain on Github Pages

You would think it would be easy to find this information, but none of the Github or Gandi documentation is clear so I have recorded the required steps here.

Create the following A records:

@ 1800 IN A 185.199.108.153
@ 1800 IN A 185.199.109.153
@ 1800 IN A 185.199.110.153

nex3

The PATH is an important concept when working on the command line. It's a list of directories that tell your operating system where to look for programs, so that you can just write script instead of /home/me/bin/script or C:\Users\Me\bin\script. But different operating systems have different ways to add a new directory to it:

Windows

1. The first step depends which version of Windows you're using:

• If you're using Windows 8 or 10, press the Windows key, then search for and

gbaman

# An example to get the remaining rate limit using the Github GraphQL API.

import requests

headers = {"Authorization": "Bearer YOUR API KEY"}


def run_query(query): # A simple function to use requests.post to make the API call. Note the json= section.
    request = requests.post('https://api.github.com/graphql', json={'query': query}, headers=headers)
    if request.status_code == 200:

shmup

op-1 keys

tape mode

cmd	desc
shift + help	set date - time
shift + tempo	detune notes - cents
shift + tape	erase tape
shift + synth	undo edits and revert to the preset