127 private links
Peek creates animated GIF screencasts using FFmpeg and ImageMagick. It was built for the specific use case of recording screen areas, e.g., for easily showing UI features of your own apps or for showing a bug in bug reports. It is not a general purpose screencast app with extended features and it never will be.
Rofi started as clone of simpleswitcher, written by Sean Pringle a popup window switcher roughly based on superswitcher. Simpleswitcher laid the foundations and therefor Sean Pringle deserves most of the credit for this tool. Rofi, renamed as it lost the simple property, has been extended with extra features, like a run-dialog, ssh-launcher and can act as a drop-in dmenu replacement, making it a very versatile tool.
Rofi, like dmenu, will provide the user with a textual list of options where one or more can be selected. This can either be, running an application, selecting a window or options provided by an external script.
Systemd è un ambiente avanzato nel quale è possibile confinare programmi e distribuzioni, ideale anche come container per testare applicazioni in fase di sviluppo
Homepage dedicated to my expanding family of chess engines: Jazz, Sjaak and Leonidas!
Mopidy is an extensible music server written in Python.
Mopidy plays music from local disk, Spotify, SoundCloud, Google Play Music, and more. You edit the playlist from any phone, tablet, or computer using a range of MPD and web clients.
way-cooler - Customizable Wayland compositor (window manager) written in Rust.
ArduCam unveiled a 24 x 24mm module with the ARM11-based core of the original Raspberry Pi, available with 36 x 36mm carriers with one or two camera links.
i3session - The missing session manager for i3-wm
What has 21 million lines of code, 4000 contributors, and more changes per day than most software projects have in months, or even years? The Linux kernel, of course. In this video, Greg Kroah-Hartman provides an inside view of how the largest, fastest software project of all absorbs so many changes while maintaining a high level of quality and stability.
FriendlyARM launched an $8 open source, 40 x 40mm “NanoPi Neo” SBC that runs Ubuntu Core on a quad-core Allwinner H3. It's Ethernet-ready, but headless.
This tutorial shows how to use eCryptfs to encrypt a directory on Ubuntu 16.04. eCryptfs is a POSIX-compliant enterprise-class stacked cryptographic f...
script
is an open source tool that makes a typescript of everything displayed on your terminal. It is useful for students who need a hardcopy record of an interactive session as proof of an assignment, as the typescript file can be printed out later with lpr.
Everything between the script and the exit command is logged to the file. This includes the confirmation messages from script itself (unless the -q flag is used). Everything between the script and the exit command is logged to the file. This includes the confirmation messages from script itself.
Recorded shell sessions can be shared using online services. The advantage of sessions recorded in this format from the usual screencasts is that shell instructions can be easily copy/pasted from the player screen.
Useful command:
script --timing=time.txt script.log
and to replay
scriptreplay --timing=time.txt script.log
See also the nice -d
(divisor, speeds up playback) and -m
(max delay in playback) options for replay.
Summary
- ttystudio - Excellent terminal-to-gif recorder
- asciinema - Record and share terminal sessions
- Shelr - Broadcast plain text screencasts
- Showterm - Terminal record and upload utility
- TermRecord - Terminal session recorder with easy-to-share self-contained HTML output
- ttyrec - Terminal recorder, incudes a playback tool
- IPBT - High-tec terminal player
- tty2gif - Record scripts into both binary and gif formats
- termrec - Set of tools for recording and replaying tty sessions
- script - The granddaddy of terminal recorders
Recording a terminal session may be important in helping someone learn a process, sharing information in an understandable way, and also presenting a series of commands in a proper manner. Whatever the purpose, there are many times when copy-pasting text from the terminal won't be very helpful while capturing a video of the process is quite far-fetched and may not be always possible. In this quick guide, we will take a look at the easiest way to record and share a terminal session in .gif format.