Reputation
Top tag
Next privilege 200 Rep.
See reduced ads
Badges
2 9
Newest
 Tumbleweed
Impact
~7k people reached

  • 0 posts edited
  • 0 helpful flags
  • 25 votes cast
Apr
28
awarded  Tumbleweed
Apr
26
comment systemd: how to require and effect mounting a specific file system?
@derobert: Thanks, typo fixed.
Apr
26
revised systemd: how to require and effect mounting a specific file system?
corrected typo
Apr
26
asked systemd: how to require and effect mounting a specific file system?
Apr
21
asked cross-reboot monotonic systemd timer
Apr
12
comment Setting console font in vconsole.conf does not work (systemd)
Instead of editing, I guess it would be better to override: askubuntu.com/questions/659267/…
Mar
16
awarded  Notable Question
Jun
25
awarded  Critic
Nov
11
awarded  Notable Question
Aug
29
awarded  Popular Question
Nov
22
awarded  Popular Question
May
15
comment How to share a GNU sed script between Linux and Mac OS X
Would \:;`command -v gsed || command -v sed` -f "$0" "$@";$:s/^// be a portable alternative?
May
15
comment How to share a GNU sed script between Linux and Mac OS X
Ah, would \:;s=sed;command -v gsed >/dev/null && s=gsed; exec "$s" -f "$0" "$@";$:s/^// then be more portable?
May
15
comment How to share a GNU sed script between Linux and Mac OS X
@Hennes: well, the problem is that on OS X, the sed I want would be called gsed, but your suggestion would work if the script does not contain any GNUisms.
May
14
awarded  Teacher
May
14
accepted How to share a GNU sed script between Linux and Mac OS X
May
14
answered How to share a GNU sed script between Linux and Mac OS X
May
14
asked How to share a GNU sed script between Linux and Mac OS X
Jan
4
awarded  Scholar
Jan
4
accepted Can (CUPS) ppd files for Mac OS X be used for linux?