11 Apr
2013
11 Apr
'13
9:07 p.m.
On 4/11/2013 10:54 PM, john Culleton wrote:
In a non-math situation where I just wish to print a literal tilde to indicate the user's directory in Linux what do I use?
such as: ~/.config
\type{~/.config} -- ----------------------------------------------------------------- Hans Hagen | PRAGMA ADE Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: 038 477 53 69 | voip: 087 875 68 74 | www.pragma-ade.com | www.pragma-pod.nl -----------------------------------------------------------------