Checking IPv6 connectivity

Following commands are for a machine running Linux (more precisely: Linux Mint, derived from Ubuntu).

Getting IPv6 address

Use the ifconfig command. Take the inet6 address with global scope.

To check that this address can be reached from the Internet:

Checking outgoing connectivity

# Ping Google DNS.
ping6 -c 4 2001:4860:4860::8888

STM32CubeIDE - replace spaces by tabs

I wanted to configure STM32CubeIDE so that it replaces tab character by spaces, when editing source code. Easy, once one knows where to look smiley:

  • select Window > Preferences
  • select C/C++ > Code Style > Formatter
  • create a new profile, based on the profile you prefer
  • in the Indentation tab, select Spaces only for Tab policy

My macOS configuration


23-Dec-2019 - gcc

xcode-select --install
brew install gcc

18-Oct-2019 - minicom

brew install minicom

27-Sep-2019 - telnet

Installation of telnet:


Subscribe to Front page feed