Coq Language Server: process.version: v16.14.2, process.arch: x64}
Loaded project at /home/grandehe4rt/dev/ocaml/test
Updated project root to .
Coqtop binPath is: /home/grandehe4rt/.opam/default/bin/
Gabriel Mazieri gmdias727
gmdias727
/ coq_language_server_log.md
Last active
January 25, 2023 16:55
gmdias727
/ podman_examples
Created
October 26, 2022 01:25
— forked from jclaret/podman_examples
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| podman search rhel | |
| podman pull rhel | |
| podman images | |
| podman run ubi7/ubi:7.7 echo "Hello!" | |
| podman run -d rhscl/httpd-24-rhel7:2.4-36.8 | |
| curl http://10.88.0.68:8080 | |
| podman run -it ubi7/ubi:7.7 /bin/bash | |
| podman run -e GREET=Hello -e NAME=RedHat rhel7:7.5 printenv GREET NAME | |
| podman run --name mysql-custom -e MYSQL_USER=redhat -e MYSQL_PASSWORD=r3dh4t -d rhmap47/mysql:5.5 |
NewerOlder