![]() |
Prev | Next | dock_dismod_at.sh |
./dock_dismod_at.sh image base
./dock_dismod_at.sh image mixed
./dock_dismod_at.sh image dismod_at
./dock_dismod_at.sh image at_cascade
./dock_dismod_at.sh build_type database command ...
driver
program, determined by this setting, can be either
docker or podman:
driver='podman'Below we referee to the value of this shell variable as
driver
.
./dock_dismod_at.sh image base >& log_file
will redirect standard output and standard error to
log_file
.
If you do this, you will not see the progress during execution.
If also want to monitor the progress, in another window use
tail -f log_file
This tail
command will not terminate until you enter
control-C in the window where it is running.
driver run busybox echo 'Hello World'
dismod_at_version='20220826' dismod_at_hash='bcf01e4dbdf528c2672ca05758493b0fc66ebcfd'
at_cascade_version='2022.10.14' at_cascade_hash='4fdc5002864a1a86bcbe0e819af0191c987d95d4'
image base
syntax creates a new OCI image with the name
dismod_at.base
.
The whats_new
instructions will tell you if
you need to re-execute this command.
image mixed
syntax creates a new OCI image with the name
dismod_at.mixed
.
The dismod_at.base
image must exist before the
dismod_at.mixed
image can be created.
The whats_new
instructions will tell you if
you need to re-execute this command.
image dismod_at
syntax creates a new OCI image with the name
dismod_at.image
.
The dismod_at.mixed
image must exist before the
dismod_at.image
image can be created.
image at_cascade
syntax creates a new OCI image with the name
at_cascade.image
.
The dismod_at.image
image must exist before the
at_cascade.image
image can be created.
The at_cascade
package is an optional add-on to the dismod_at program.
container_id
.
The command
driver rm container_id
will remove the container.
If the container is still running, you will need to use
driver rm --force container_id
driver rmi name
For example,
name
could be
dismod_at.base
,
dismod_at.mixed
, or
dismod_at.image
.
You can keep the old image, under a different name, using the commands
driver tag name different_name
driver rmi name
build
syntax will create the file
Dockerfile
in the current working directory.
If such a file already exists, it will need to be moved or deleted.
Unable to fetch some archives, maybe run apt-get update ...
There may be an old OCI image result for apt-get update
that is out of date.
You can list the images using the command OCI images
.
Try removing an old image that corresponds to a previous
apt-get update
and then re-run the
dock_dismod_at.sh build
command.
Release file for package is not valid yet ...
You system clock may be out of date (reporting an old day or time).
Try fixing the system clock.
dismod_at.image
has been created, you use the
build_type
syntax to run dismod_at in a container.
user
will be named
dismod_at.user
.
If such a container already exists,
you will be prompted with the corresponding
container_id
.
The command
driver rm container_id
will remove the container.
If the container is still running, you will need to use
driver rm --force container_id
build_type
syntax will run the correspond
command
in the OCI image.
The argument
build_type
must be either debug
or
release
.
The release
version should be much faster.
The debug
version will do more extensive error checking.
database
must be a dismod_at database
in the current working directory.
This the first argument to the corresponding dismod_at command.
command
must be one of the dismod_at commands.
This is the second argument in the corresponding dismod_at command.
The rest of the arguments
...
are
the same as the corresponding arguments for the command
.
dock_dismod_at.sh
are the same as in the
syntax for the command
,
except that dismod_at
or dismodat.py
have been replaced by
dock_dismod_at.sh build_type
.
driver ps -a
If
driver
is podman, the following might work better
podman ps --all --storage
Exited
, you can start it using:
driver start container_id
Up
, you can run it using:
driver exec -it container_id bash
You will be in the container until you exit
the bash
shell that is run by the command above.
Up
, you can stop it using:
driver stop container_id