...
| Code Block |
|---|
| language | bash |
|---|
| theme | RDark |
|---|
| title | Set if not already defined |
|---|
| collapse | true |
|---|
|
: ${var=value} |
This one is obscure....<TODO> explain!
| Code Block |
|---|
| language | bash |
|---|
| theme | RDark |
|---|
| title | Set if not defined OR set to the empty string |
|---|
| collapse | true |
|---|
|
: ${var:=value} |
...
| Code Block |
|---|
| language | bash |
|---|
| theme | RDark |
|---|
| title | Recursively Copy Selected Files with Folder Structure |
|---|
| collapse | true |
|---|
|
cp --parents `find -name .pydevproject` /target_directory/ |
Docker
| Code Block |
|---|
| language | bash |
|---|
| theme | RDark |
|---|
| title | Check if docker container with specified name exists |
|---|
| collapse | true |
|---|
|
docker container inspect ecl >/dev/null 2>&1
if [ $? -ne 0 ]; then
groot-rocker-workspace --colcon --name ecl --bind /mnt/mervin/workspaces/devel/ecl:/mnt/ecl --work-directory /mnt/ecl ubuntu:22.04
else
docker container start -i ecl
fi |
Random
| Code Block |
|---|
| language | bash |
|---|
| theme | RDark |
|---|
| title | Recursively Copy Selected Files with Folder Structure |
|---|
| collapse | true |
|---|
|
# random number between 1 and 3
echo $((1 + $RANDOM % 3)) |
...