VarHowto
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 […]
PyTorch is a popular Deep Learning framework and installs with the latest CUDA by default. If you haven’t upgrade NVIDIA driver or you cannot upgrade CUDA because you don’t have root access, you may need to settle down with an outdated version like CUDA 10.0. However, that means you cannot use GPU in your PyTorch […]
Ubuntu 20.04 is just released on April 23, 2020. You have a WordPress site on old Ubuntu such as Ubuntu 18.04 or 19.10. How would I transfer my WordPress site to the latest Ubuntu 20.04? This article will walk you through all the steps to transfer your WordPress site to Ubuntu 20.04 on Amazon AWS […]
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 […]
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 […]
So you have changed the style of your WordPress child theme in style.css and see the changes on your WordPress website. But the style of the block editor remains the same when you are creating or updating your posts or pages. If the Gutenberg editor style is consistent with your published website, you have a […]
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 […]
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 […]
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 […]
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 […]
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 […]
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 […]