Unix & Linux
David Tonhofer's user avatar
David Tonhofer's user avatar
David Tonhofer's user avatar
David Tonhofer
  • Member for 9 years, 10 months
  • Last seen more than a month ago
  • Luxembourg
Profile Activity
Stats
1,371
reputation
134k
reached
12
answers
14
questions
Communities
View all
About
  • Started working with computers when Lisp was described in obscure journal articles.
  • Scaled down his ambitions to get better in programming to just learning Kotlin, using Spring and calling Prolog from Java for fun for now.
  • Would also like to read The Theory of Groups and Quantum Mechanics
  • So why is he always at work?
  • Welp!
Badges
View all badges
This user doesn’t have any gold badges yet.
13
silver badges
26
bronze badges
Top tags
View all tags
4
Score
7
Posts
27
Posts %
3
Score
5
Posts
19
Posts %
3
Score
2
Posts
8
Posts %
3
Score
2
Posts
8
Posts %
2
Score
2
Posts
8
Posts %
2
Score
2
Posts
8
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
33
"/usr/bin/ping" is shown as yellow-on-red in the default Fedora bash color scheme -- what does it mean?
Nov 1, 2016
question
30
Fedora boot screen shows both Fedora logo and Lenovo logo. Why and How?
Jun 20, 2019
question
10
Firmware packages: What do they actually do?
Jul 13, 2018
question
6
Why does fdisk insist on starting the first partition at sector 65535 (MiB 31.9995...)
Aug 14, 2016
question
5
Using "LuxTrust Signing Stick" on Fedora (this is specific to Luxembourg)
Apr 6, 2015
question
5
Linux GUI becomes very unresponsive when doing heavy disk I/O - what to tune?
Jan 21, 2019
answer
5
Pulling log messages for a particular log in systemd journal?
Jul 2, 2015
question
4
lsblk column "RAND" aka "adds randomness" - what does it mean?
Apr 21, 2019
answer
4
How do I remove launchers from the KDE panel?
Apr 29, 2017
question
3
USB flash drive formatted as "Linux Live CD" keeps the CD-ROM name after re-partitioning
Feb 4, 2016
Top network posts
View all network posts
115
Explain JMX URL
114
Can (domain name) subdomains have an underscore "_" in it?
89
Does Java 6 open a default port for JMX remote connections?
45
How to stop kernel messages from flooding my console?
45
Is passing sensitive data through the process environment secure?

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.