JavaScript is disabled !
Bash commands (chapters)
apt
2021-02-23
2018-10-23
apt-key
2020-11-25
apt update
error :
Release file for
http://deb.debian.org/
/InRelease
is
not valid yet
Updates for this repository will not be applied.
2020-04-01
apt update
error :
Release file for
http://ftp.fr.debian.org/
/InRelease
is
expired
. Updates for this repository will not be applied.
2020-03-25
2018-01-24
apt-cache
pkgnames
2020-03-25
2009-05-29
apt-get
and
apt
dist-upgrade, GPG, recommends, sources.list, uninstalled
2019-05-13
apt upgrade
displays
The following packages have been kept back:
2018-01-23
2017-01-05
apt-get update
fails with error
407 Proxy Authentication Required
avconv
2020-11-11
How to mix an
audio
+ a
video
track ?
2019-01-31
2018-04-19
How to
concatenate
audio / video files ?
2019-01-31
2017-12-27
How to
convert
audio files ?
flac, mp3, wav
2018-10-07
2016-11-09
avconv
2017-09-12
2013-05-20
How to extract the
audio track
from a
movie
?
bitrate, ffmpeg, mp3, ogg, wav
2016-11-23
2016-09-18
How to
trim
audio or video files ?
cut
2016-09-04
How to
re-order
the
audio tracks
of a
.mkv
file ?
2016-09-04
2014-01-26
How to convert
video
files ?
mkv, mpeg
Awk
2022-09-06
2017-01-30
Awk
HowTo's
2022-08-10
2003-02-14
awk
2022-06-17
if
construct
2022-02-11
2018-05-22
Awk
system
command
2022-02-02
2016-07-04
Awk
internal
variables
$n FS NF NR OFS RS
2022-01-07
Awk
examples
2019-10-11
2018-10-16
Awk
internal
keywords
BEGIN BEGINFILE END ENDFILE next
2019-06-14
2019-03-27
Awk
:
print
,
print
f
,
s
print
f
2019-06-07
Awk
:
print
2019-03-04
switch / case
construct
2018-12-06
Make music with
awk
2017-07-25
awk
vs
gawk
2017-02-02
2012-12-11
Tailor files / strings /
substrings
with
Awk
/
Bash
/
PERL
/
sed
RegExp
Awk HowTo's
2022-09-06
2018-04-24
How to
filter fields to print
?
2022-01-07
2019-09-27
Awk
: how to alter fields with
gsub
?
2019-12-17
2019-12-12
Awk
: how to alter fields with
gensub
?
2019-10-11
Awk
: how to detect the
last line
of input ?
2018-12-11
How to return a different
exit code
stating
match found
/
match not found
?
2017-07-18
How to use another character instead of
/
as the
regular expression
delimiter ?
2017-01-30
How to customize the display of data fields ?
for, NF, printf
cURL
2022-02-21
2012-02-07
curl
credentials, head, get, post, put, user agent, Unsupported proxy scheme
2021-09-07
cURL
: how to
ignore
/
bypass
the current
proxy
settings ?
~/.curlrc, http_proxy, --noproxy
2020-10-14
TLSv1.2 (IN), TLS alert, close notify (256):
2020-10-14
Expire in 0 ms for 1 (transfer
0x559d3dcc1bb0
)
2019-11-05
2018-03-01
curl: (52) Empty reply from server
2019-05-15
2019-04-11
curl: (35) error:140770FC:SSL routines:SSL23_GET_SERVER_HELLO:unknown protocol
~/.curlrc
2018-03-21
What does
additional stuff not fine transfer.c:1037: 0 0
mean ?
2018-03-20
curl: (56) Recv failure: Connection reset by peer
2018-03-20
curl: (7) Unsupported proxy scheme for '
http
s
://login:password@proxy.company.tld:port
'
mount
2022-08-26
mount error(111): could not connect to
192.168.1.8
Unable to find suitable address.
2021-09-21
mount error(127): Key has expired
2021-01-24
2013-01-08
mount
nmap
2021-12-09
2009-09-21
nmap
2018-09-14
How to enumerate the
subdomains
of a
domain
?
2015-06-12
Nmap
complains :
route_dst_netlink: can't find interface "
venet0
"
OpenSSL
2022-09-05
2018-03-21
How to get
certificate
metadata ?
2018-06-22
2013-07-03
openssl
starttls
2018-03-22
openssl
errors
2018-03-21
How to test an
SSL
/
TLS
connection as a client ?
rsync
2022-03-14
2013-09-20
rsync
2022-01-27
2013-09-20
rsync
errors
2020-06-03
Rsync
: notes about
backups
2020-06-03
2013-09-20
Rsync
can delete millions of files quicker than
rm
and
find
rsync errors
2022-01-27
rsync: [generator] symlink
failed: Operation not supported (95)
2021-03-11
rsync: failed to set permissions on "
/path/to/someFile
": Operation not permitted
2020-05-04
skipping directory
.
2019-01-10
Error reading response length from authentication socket.
2019-01-10
2013-09-20
protocol version mismatch -- is your shell clean?
2019-01-10
2013-09-20
Unexpected remote arg
2019-01-10
2013-09-20
ksh: rsync: not found
when trying to
rsync
files between a
Linux
and a
Solaris
machine
GNU screen
2022-04-12
2020-12-02
How to change the number of a
GNU screen
window
(i.e. move it) ?
2022-04-04
2010-03-05
screen
.screenrc, bind, split
2021-07-21
2020-01-28
GNU Screen
hotkeys
2020-11-10
How to free the
Ctrl
-
a
key sequence for
Emacs
?
2020-09-17
2010-03-05
How to copy text from a
Screen
session ?
2020-09-11
How to use
variables
in
.screnrc
?
2020-04-06
2017-09-28
Screen
: how to
bind
a function to a
key
?
.screenrc
2017-07-07
Is it possible to pre-populate
Screen
windows ?
.screenrc
2017-01-23
How to get / set the
scrollback
value ?
2016-12-19
How to change the
Screen
window settings : color, background color ?
2016-12-13
How to detect whether the current shell is executed within a
Screen
?
2016-11-04
How to get / set the
Screen
window title from the shell ?
2010-03-05
How to work in
split-screen
mode ?
2010-03-05
What if I can not completely
detach
a session then
re-attach
it ?
2010-03-05
Cannot open your terminal '/dev/pts/
11
' - please check.
2010-03-05
How to share a
Screen
session ?
sed
2022-02-22
2010-09-27
sed
2021-01-14
sed
branching
2019-07-12
2010-09-27
How to chain
sed
commands ?
2018-12-07
2010-09-27
Need a
RegExp
"
lazy star
" ?
2016-01-28
2010-09-27
Extract fields from a logfile
2016-01-28
2010-09-27
Count the number of articles in this file with anchor starting with each alphabet letter
SSH
2022-11-24
2018-08-27
ssh-keygen
2022-01-21
2012-03-22
ssh
2020-03-26
2018-04-25
ssh-copy-id
sudo
2022-10-11
Is is mandatory that
/etc/sudoers.d/
filename
matches
username
?
2022-10-11
2009-08-06
How to become a
sudoer
?
2022-08-01
sudo
vs
ssh
root
2020-10-22
2013-05-02
sudo
2020-03-30
How to open a
shell
as an other user whose
login shell
is
disabled
?
2015-11-03
How to login as
root
via
sudo
only ?
xargs
2022-09-21
2013-03-13
xargs
123
2022-02-12
xargs: unmatched single quote; by default quotes are special to xargs unless you use the -0 option
youtube-dl
2022-08-29
2017-07-06
How to download an
album
/
playlist
from
YouTube
with the best possible audio quality (no format conversion) ?
2021-04-04
2016-10-09
youtube-dl
2020-02-05
2019-01-31
What if the best quality
audio
and
video
tracks are in distinct
YouTube
streams ?
2018-04-19
2017-06-21
How to download a
track
/
playlist
from
YouTube
and convert it to
MP3
?
2017-07-06
2016-10-09
How to download a single
song
/
video
from
YouTube
?
yum
2022-09-22
How to
update all packages
to their latest version ?
2021-03-16
2011-07-11
yum
2020-04-02
yum
error :
[Errno 14] HTTPS Error 403 - Forbidden