#shell

3 posts in this collection

A random emoji in your terminal prompt. How and Why!

In this article, we will see how to customize our terminal prompt and add a random emoji in it. This is my terminal prompt: If I could have a penny every time somebody asked me how did I put a random emoji in there, well… I wouldn’t probably be a millionaire, but I would definitely be able to afford few more coffees every day and be less sleepy 😴! In this article I’ll explain how I emojified my terminal and, since it is very simple stuff, I’ll also try to explore some extra details on how to customize…

AWS Command line: S3 content from stdin or to stdout

This article presents a quick tip that will help you deal with the content of files in S3 through the AWS command line in a much faster and simpler way. Did you ever want to simply print the content of a file in S3 from your command line and maybe pipe the output to another command? Or maybe, did you ever needed to pipe the standard output of a sequence of commands directly into a file in S3? I had this need multiple times and, before my amazing colleague Paul made me discover the tip I am about to describe…

Extracting data from Wikipedia using curl, grep, cut and other shell commands

In this article I am going to show you how I was able to extract and process some information from Wikipedia only using a combination of common bash utilities like and . The need If you are a sport lover like me I guess your heart is currently being warmed by the Rio 2016 Olympic games . My favourite sport in the games is Judo and now that the competitions are over I was wondering who were the best olympic “judokas” of all the times by number of medals collected during the games (no matter the kind…