Skip to main content

Welcome to Geoff Hayward's Weblog

Commenting on Java, JavaFX, Java EE, Joomla, and IoT.

Here is a handy way of deleting Docker containers using GREP.

docker rm -f $(docker ps | grep <grep term> | awk ‘{print $1}’)

And here is a handy way of deleting Docker images using GREP.

docker rmi -f $(docker images | grep <grep term> | awk ‘{print $3}’)


Read

Mailing List


Responsive Media

With the ResponsiveMedia plugin for Joomla it is easy to add 3rd party content from YouTube, Vimeo, and Instagram right in to any Joomla! article.

ResponsiveMedia