145 reputation
3
bio website
location
age
visits member for 1 year, 11 months
seen Apr 11 at 20:03

Mar
14
comment biggest possible number for sort -n
Right. So for example if INFINITY=z, then all the non-existent will come last when using sort -n. Or do you mean that you have to have a numeric value there?
Mar
14
comment biggest possible number for sort -n
I don't think that the -n flag necessarily has a limit. It could be implemented without resorting to actually converting to a number (so there wouldn't e a largest number). If you output something non-numerice, then all the sort versions I have seen will put the non-numerics last.
Mar
14
comment How to kill a process in a terminal inside emacs
For me, Ctrl-C Ctrl-C sends a ^C to the terminal and I'm able to interrupt a running program.
Mar
14
comment biggest possible number for sort -n
Do you need it to work on all platforms or just on yours?
Nov
20
comment emacs colors based on $TERM environment variable
I'm experimenting with that at the moment. I haven't detected any bad things happening just yet. It seems tmux can be configured to emit xterm key sequences (although TERM=xterm is still unsupported). Based on the tmux FAQ, tmux might come to support xterm in the future instead of only screen.
Nov
20
accepted emacs colors based on $TERM environment variable
Oct
31
asked emacs colors based on $TERM environment variable
Sep
7
awarded  Scholar
Sep
7
accepted Control and up/down keys in terminal for use by emacs
Sep
6
awarded  Student
Sep
6
asked Control and up/down keys in terminal for use by emacs
Aug
31
comment Are there pitfalls to putting $HOME in git instead of symlinking dotfiles?
but a '*' in your .gitignore means that all files not in your home-dir repo are ignored. and when you check out a new git repo in some subdirectory, everything should still work as expected (i think). As far as I know, the git tools will look for the first .git directory while moving up the directory hierarchy. So, when working in the subdirectory, the correct git repository will be used. Of course, if you are using git's environment variables, I guess things could get messy. But otherwise, I don't see why this wouldn't work.
Aug
31
comment Are there pitfalls to putting $HOME in git instead of symlinking dotfiles?
but why not just add '*' to your .gitignore file? That way git will ignore everything except files that are already in the repository, and you can add new files with git add -f <file>.
Jun
22
awarded  Supporter