lancelet / bored-robot Goto Github PK
View Code? Open in Web Editor NEWCI tooling in Haskell
License: Apache License 2.0
CI tooling in Haskell
License: Apache License 2.0
Data types:
Path
Should support, at least, the following operations:
read file
write file
(testing)mkdir
(testing)list directory
does directory exist
find
And interpreters:
IO interpreter
pure stateful interpreter
In branch filesystem
.
For today, we only need the FROM
, and maybe the list of steps (classified in how many RUN
steps).
This can later become a big change, going away from plain docker files.
Each command should be of type Task -> Eff r a
, possibly with a==()
(otherwise dependent on Command
and Command
as a GADT.
Note that pull
is not a simple forM
, and clean
should not stop on failures. info
is the easiest but is also merely informational, not truly required. push
is the easiest operation.
Consists of reading and filtering the manifest file, and then issuing the required command.
The current pull
command searches the base image in all target images from the manifest (just like the bash script, the bug originated in the bash version). The correct way is to consider the order, such that the 1st image cannot be based on the 3rd.
Correct the command to
The app should do what the docker-fu
script currently does (for the shell functions in it).
git rev-parse
Requirements:
Let's you read in bits of a file at a time.
Should support, at least, the following operations:
docker rmi
docker push
docker build
docker tag
docker pull
Interpreters:
Proc
effect.Trace
effect.A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.