#!/bin/sed -f | |
# | |
# Ĉi tiu verko estas markita per "CC0 1.0" (t.e. publika havaĵo). | |
# https://eo.wikipedia.org/wiki/Krea_Komunaĵo | |
# | |
# La skripto tradukas la literojn de la norma Esperanto en la literojn | |
# de la cirila alfabeto, pli malpli laŭ la tradicia transliterumo: | |
# https://eo.wikipedia.org/wiki/Transliterumo_de_Esperanto | |
# |
--- | |
on: public | |
jobs: | |
make-private: | |
runs-on: ubuntu-latest | |
steps: | |
- run: gh repo edit ${{ github.repository }} --visibility private --accept-visibility-change-consequences | |
env: | |
GH_TOKEN: ${{ secrets.KEEP_REPO_PRIVATE }} |
using System.Xml.XPath; | |
using Microsoft.OpenApi.Models; | |
namespace Swashbuckle.AspNetCore.SwaggerGen; | |
// This is a slightly modified version of the built-in XmlCommentsSchemaFilter. | |
// Currently our only modifications are that we append the contents of the <remarks> section to the description for each schema item. | |
public class CustomXmlCommentsSchemaFilter : ISchemaFilter | |
{ |
name: Caching npm packages | |
on: push | |
jobs: | |
build: | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@v2 |
#! /bin/sh | |
paster() { | |
while read email; do | |
[ -z "$email" ] || echo "$1" "$email" | |
done | |
} | |
grouper() { | |
IFS="<" |
Ever needed a tutorial or just download non copyrighted material from YouTube to watch or listen offline?
YouTube-dl is a command-line tool which is open source and can be used to download videos from YouTube, Facebook, and other popular sites, see the full list here.
NOTE: Keep in mind some media contains copyrighted material.
I usually host a projects GitHub pages (docs/
) and build service configration files (e.g. .travis.yml
or .appveyor.yml
) together with the projects source in the master branch. When creating a release, github creates a zip and a tar archive (the so called zipball and tarball), which can also be created these links:
https://api.github.com/repos/:user/:project/tarball
https://api.github.com/repos/:user/:project/zipball
or for a specific release:
# Clone entire site. | |
wget --content-disposition --execute robots=off --recursive --no-parent --continue --no-clobber http://example.com | |
# Remove query string from a static resource. | |
for i in `find $1 -type f -name "*\?*"`; do mv $i `echo $i | cut -d? -f1`; done |
This is a compiled list of falsehoods programmers tend to believe about working with time.
Don't re-invent a date time library yourself. If you think you understand everything about time, you're probably doing it wrong.
- There are always 24 hours in a day.
- February is always 28 days long.
- Any 24-hour period will always begin and end in the same day (or week, or month).