VarHowto Editor

Categories
Gazebo ROS

How to Move a Gazebo Model from Terminal

Gazebo is a great simulator for robot development and has become a must-have for roboticists, robot developers, and robotics researchers. Sometime, you want to move a model or an object from the terminal so you don’t have to type the position values every time. How can you do that? This tutorial assumes you have successfully […]

Categories
Python Linux

How to Install Miniconda on Ubuntu 20.04

What is Miniconda? Miniconda is a minimal free Conda installer. It’s a thin, bootstrap version that contains just conda, Python, the packages they depend on, and a limited range of other helpful modules like pip, zlib, and a few others. To install additional conda packages from Anaconda registry, using the conda install command. Installing Miniconda […]

Categories
Nginx Linux

How to Update Nginx MIME Types in 2 Steps

Nginx can recognize different content types through a predefined MIME type list. Your Nginx MIME types might be outdated if you install Nginx using your system package system, e.g., apt install nginx on Ubuntu/Debian or yum on CentOS. Using apt or yum to install packages are very easy and, more importantly, you will get security […]

Categories
BibTex LaTex

How to remove duplicates in BibTex (.bib) file

So you want to reuse some of your existing bib files, but the BibTex processor complains there are duplicate entries in your bib files. How can I remove them? Introducing bibtex-tidy To remove the duplicates in BibTex, we will use the bibtex-tidy, a web app to format your BibTex source. Click the link to open […]

Categories
Linux

How to check if a cron job ran

After a cron job is created or added by a software package such Debian, it is better to double-check if the cron job is actually scheduled and ran. Because cron is a daemon to execute scheduled commands, you will need to check the log output. Where is the cron log? Unlike most other software, cron […]

Categories
WordPress

How to remove the SVG content added by Jetpack in WordPress

Once jetpack is activated, it will append the whole SVG file to your html. This increases the size of your HTML, slowing down your website. The problem is that even if you don’t use any of Jetpack’s social features, it will still append the file content. How to remove Add the following code to the […]

Categories
ROS Gazebo

How to fix “libcurl: (51) SSL: no alternative certificate subject name matches target host name ‘api.ignitionfuel.org'”

So you are openning Gazebo the robot simulator on Ubuntu 18.04 Bionic, ROS Melodic. But you see this problem in red in the terminal: [Err] [REST.cc:205] Error in REST request libcurl: (51) SSL: no alternative certificate subject name matches target host name ‘api.ignitionfuel.org’ You will still open Gazebo fine. But how can I get rid […]

Categories
WordPress

How to transfer/copy WordPress theme options

The easiest is to use wp command line tool. Here we will transfer the twentytwenty WordPress theme setting to twentytwenty-child. Install wp curl -O https://raw.githubusercontent.com/wp-cli/builds/gh-pages/phar/wp-cli.phar chmod +x wp-cli.phar sudo mv wp-cli.phar /usr/local/bin/wp Check to see if wp works: wp –info You would be able to see a few WordPress settings. Export theme option sudo -u […]

Categories
WordPress

How to add child theme for twenty-twenty in WordPress

twenty-twenty is the default theme for WordPress. After you customize it using the “Additional CSS”, you want to customize even more, like change the structure of the HTML. But if you change it directly, your changes might be overridden by new updates of the WordPress theme. You might also want to have a reference to […]