Skip to content

Instantly share code, notes, and snippets.

@mlcollard
Last active February 15, 2024 16:18
Show Gist options
  • Save mlcollard/1574c979142f152efd8b7d2fda1ba1ec to your computer and use it in GitHub Desktop.
Save mlcollard/1574c979142f152efd8b7d2fda1ba1ec to your computer and use it in GitHub Desktop.
cmake /Source
make
make run
mkdir /RAII-build
cd /RAII-build
cmake /DockerDrive/OOPS20-RAII
make
cd OOPS23-Rainfall-010
mkdir build
cd build
cmake ..
make
make run
git archive v3a --prefix=/Source/ | docker cp - linux:.
docker create --name linux --workdir /Build srcml/codespaces tail -f /dev/null
docker run --volume ~/DockerDrive:/DockerDrive -it srcml/codespaces /bin/bash
mkdir ~/DockerDrive
cd ~/DockerDrive
git clone https://github.com/mlcollard/OOPS20-RAII.git
git clone https://github.com/mlcollard/OOPS23-Rainfall-010
root@d0597c29420d:/#
docker rm -f linux
docker run --platform linux/amd64 -it srcml/codespaces /bin/bash
docker run --platform linux/arm64 -it srcml/codespaces /bin/bash
docker run --volume ~/DockerDir:/DockerDir -it ubuntu:22.04 /bin/bash
docker run -it srcml/ubuntu:22.04 /bin/bash
docker run --volume ~/DockerDir:/DockerDir -it srcml/codespaces /bin/bash
cp sort /DockerDir/
git clone https://github.com/mlcollard/sortDevOps.git
cd sortDevOps
make
make run
make test
docker run --volume ~/DockerDir:/DockerDir -it ubuntu:20.04 /bin/bash
docker run --volume ~/DockerDir:/DockerDir -it ubuntu:14.04 /bin/bash
docker run --volume "$(PWD)":/Source --workdir /Build -it srcml/codespaces /bin/bash
docker exec -it linux /bin/bash
valgrind -v --tool=memcheck --leak-check=full ./sort c b a
docker start linux
valgrind -v --tool=memcheck --leak-check=full ./Resource
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment