Archive

Posts Tagged ‘shell’

Make a GIF of your terminal and insert it in your GitHub README

June 30, 2019 Leave a comment

Problem
For your shiny new GitHub project you want to make an animated GIF and insert it in the README file.

Solution
I found a blog post about it here. In short:

$ ttyrec demo
# do some stuff
Ctrl+D
$ ttygif demo
# the result is in tty.gif

Under Manjaro I could install the packages ttyrec and ttygif with yay.

And then you can insert the GIF in your README.md like this:

![GIF Demo](demo/demo.gif)
Categories: linux Tags: , , , ,

57 Raspberry Pi commands that everyone should know

October 9, 2018 Leave a comment

See https://raspberrytips.com/raspberry-pi-commands/ . They are mainly Unix commands, thus they are not specific to Raspberry Pi.

Categories:

  • Files management
  • Network commands
  • System updates
  • Packages management
  • System management
  • Raspbian commands
  • Misc commands
  • Warrior commands
Categories: linux Tags: , , , , ,

Software Carpentry

January 3, 2018 Leave a comment

Software Carpentry is a community of volunteer instructors who teach short workshops and develop lessons which empower researchers of all disciplines to learn about and improve the ways in which they create software and collaborate.” (source)

I found them today: https://github.com/swcarpentry/swcarpentry . Looks good!