gazebo -u -p ~/logs/double_pendulum/2016-01-25T15\:09\:49.677400/gzserver/state.log
rosrun gazebo_ros gazebo --prefix '-u -p 2018-11-20T162127.065690/gzserver/state.log'
ffmpeg -ss 61.0 -t 2.5 -i StickAround.mp4 -f gif StickAround.gif
-ss 61.0
seek to 61.0 seconds
-t 2.5
only read 2.5 then stop
ffmpeg -ss 61.0 -t 2.5 -i StickAround.mp4 -filter_complex "[0:v] fps=12,scale=480:-1,split [a][b];[a] palettegen [p];[b][p] paletteuse" SmallerStickAround.gif
convert -coalesce something.gif something.png
or
magick convert -coalesce something.gif something.png
the speed could be known using :
interactive terminal :
aspell -t -c file.tex
list of misspelled words :
cat file.tex | aspell list -t | sort | uniq
from subprocess import call | |
from time import sleep | |
from datetime import datetime | |
import argparse | |
if __name__ == '__main__' : | |
parser = argparse.ArgumentParser(progname='python vol-ctrl.py', description='decrease volume with delay') | |
parser.add_argument('-i','--init',type=int,help='initial volume') | |
parser.add_argument('-r','--rate',type=int,help='decrease rate') | |
parser.add_argument('-d','--delay',type=int,help='decrease delay in seconds') |
# start the ssh-agent in the background
$ eval "$(ssh-agent -s)"
# add key
$ ssh-add
# list key
$ ssh-add -l
#!/bin/bash
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
#!/bin/bash
echo "First arg: $1"
https://stackoverflow.com/questions/39599242/in-c17-can-an-if-statement-with-an-initializer-be-used-to-unpack-an-optional
docker ...
-e DISPLAY=$DISPLAY \
-v /tmp/.X11-unix:/tmp/.X11-unix \