docker/images.v

43 lines
1.1 KiB
Coq
Raw Normal View History

2022-06-22 09:15:00 +02:00
module docker
2022-06-18 17:59:22 +02:00
import net.http { Method }
2022-12-15 11:55:04 +01:00
import types { Image }
2022-06-18 17:59:22 +02:00
2022-12-15 11:55:04 +01:00
pub fn (mut d DockerConn) image_inspect(image string) !Image {
d.send_request(.get, '/images/$image/json')!
data := d.read_json_response<Image>()!
2022-12-15 11:55:04 +01:00
return data
2022-06-18 17:59:22 +02:00
}
// pull_image pulls the given image:tag.
pub fn (mut d DockerConn) pull_image(image string, tag string) ! {
d.send_request(Method.post, '/images/create?fromImage=$image&tag=$tag')!
d.read_response_head()!
d.check_error()!
2022-06-18 17:59:22 +02:00
// Keep reading the body until the pull has completed
mut body := d.get_chunked_response_reader()
mut buf := []u8{len: 1024}
for {
body.read(mut buf) or { break }
}
}
// create_image_from_container creates a new image from a container.
pub fn (mut d DockerConn) create_image_from_container(id string, repo string, tag string) !Image {
2022-12-15 11:17:51 +01:00
d.send_request(.post, '/commit?container=$id&repo=$repo&tag=$tag')!
data := d.read_json_response<Image>()!
2022-06-18 17:59:22 +02:00
return data
}
// remove_image removes the image with the given id.
pub fn (mut d DockerConn) remove_image(id string) ! {
2022-12-15 11:17:51 +01:00
d.send_request(.delete, '/images/$id')!
d.read_response()!
2022-06-18 17:59:22 +02:00
}