Super User
don_crissti's user avatar
don_crissti's user avatar
don_crissti's user avatar
don_crissti
  • Member for 10 years, 7 months
  • Last seen more than 1 year ago
Profile Activity
Stats
2,774
reputation
368k
reached
40
answers
0
questions
Communities
Badges
View all badges
1
gold badge
19
silver badges
20
bronze badges
Top tags
View all tags
130
Score
19
Posts
48
Posts %
104
Score
5
Posts
12
Posts %
58
Score
2
Posts
5
Posts %
28
Score
4
Posts
10
Posts %
20
Score
3
Posts
8
Posts %
18
Score
3
Posts
8
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
52
sed: how to replace line if found or append to end of file if not found?
Sep 22, 2015
answer
22
Unzip .rar from command-line with 7-Zip
Aug 20, 2012
answer
14
How can I discover which bootloader is installed where?
Aug 25, 2012
answer
13
How to run two commands simultaneously?
Aug 18, 2012
answer
12
How to resize font size on window title bar on gnome?
Nov 7, 2012
answer
11
How to disable (and re-enable) notifications on GNOME Shell version 3.8.4 from the command line?
Apr 30, 2015
answer
10
pacman - list installed packages from given repo
Jun 26, 2013
answer
8
Disabling Google Chrome Download auto numbering for existing files
Aug 15, 2012
answer
8
Split a file into two files at a given line
Dec 21, 2014
answer
6
Is it a requirement to concatenate multiple 7zip files in Linux before being able to uncompress them?
Aug 18, 2012
Top network posts
View all network posts
400
How to write startup script for Systemd?
279
Replacing only specific variables with envsubst
211
Why is looping over find's output bad practice?
176
How to tell gzip to keep original file?
175
How to know if a disk is an SSD or an HDD

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.