Skip to content

Instantly share code, notes, and snippets.


Daniel Martí mvdan

View GitHub Profile
mvdan / Dockerfile-drone-nolimit
Last active Jun 13, 2022
Dockerfile to build Drone CI as a standalone server with its nolimit flag -
View Dockerfile-drone-nolimit
FROM golang:1.14.4 AS builder
RUN apt-get update && apt-get install -y ca-certificates
RUN git clone -b v1.8.1 --depth=1
RUN cd drone && go install -trimpath -ldflags='-w -s' -tags nolimit ./cmd/drone-server
FROM debian:buster-slim
COPY --from=builder /etc/ssl/certs/ca-certificates.crt /etc/ssl/certs/

Proposal: io: add a buffered pipe


Add a way to easily create a buffered io.Pipe. Currently, one has to write their own from scratch. This leads to dozens of separate implementations in the wild, and likely many correctness issues and hidden bugs.


View sh-interp-extract.go
package main
import (

Keybase proof

I hereby claim:

  • I am mvdan on github.
  • I am mvdan ( on keybase.
  • I have a public key ASA4MmcWdoA_zSWkg14S2avWaLwGoShwnpkg67zk6-n-two

To claim this, I am signing this object:

# Small script to gather data from picosat and your own SAT solver
# Useful for LI prac 01
# Example usage:
# ./ > out.txt
# Your solver