Reputation
Top tag
Next privilege 125 Rep.
Vote down
Badges
1 4
Impact
~3k people reached

  • 0 posts edited
  • 0 helpful flags
  • 13 votes cast
Jun
27
awarded  Notable Question
Feb
12
awarded  Popular Question
Nov
14
awarded  Editor
Nov
14
comment How do I unmount a tmpfs that is missing from /etc/mtab?
@Gilles (and @PriceChild) I added the info you requested on the question
Nov
14
revised How do I unmount a tmpfs that is missing from /etc/mtab?
added some info on the system
Nov
11
asked How do I unmount a tmpfs that is missing from /etc/mtab?
Jul
29
awarded  Supporter
Nov
10
comment How do I reconnect to my lost shell? (after a Terminal crash)
The first script of the post seems to not be working. The second though is really useful (with some modifications).
Nov
9
comment How do I reconnect to my lost shell? (after a Terminal crash)
I checked the manual and seems to be just what I need. Do you know if there is a way to run it every time I make a new tab in Terminal.app? I tried to put it in Setting > Shell > Startup > Run command but had no luck...
Nov
9
awarded  Student
Nov
9
revised How do I reconnect to my lost shell? (after a Terminal crash)
edited tags
Nov
9
asked How do I reconnect to my lost shell? (after a Terminal crash)