126 reputation
13
bio website
location
age
visits member for 2 years, 2 months
seen 2 days ago

I enjoy programming in Haskell. I also have python experience. Category theory is cool.


Jun
30
comment Problems with networking after suspend
That was fast. Is it permanent?
Jun
12
comment Image viewer that allows printing more than 100%
Sorry, but it doesn't support svg format.
Jun
12
asked Image viewer that allows printing more than 100%
May
24
asked How to receive texts in Ubuntu desktop
Apr
29
comment What is the proper way to change the DNS IP?
can put in multiple ones?
Apr
28
comment Lost 'System Settings' on Ubuntu Precise Pangolin x86_64
Did you know you can accidentally uninstall individual settings from the system settings. This fixed it.
Apr
24
comment apt-get update only for a specific repository
You should package this.
Apr
20
comment Reset to Default Unity Login
Do you need to reboot for this to work?
Apr
18
comment Delete directory indirectly inside of itself
Says it isn't a directory. Where am I doing this from?
Apr
15
comment Delete directory indirectly inside of itself
That wasn't a valid flag.
Apr
14
comment Delete directory indirectly inside of itself
Says not found for each of them
Apr
13
comment Delete directory indirectly inside of itself
unlink didn't work
Apr
12
comment Delete directory indirectly inside of itself
@desuga I could rename it but nautilus and rm still fail.
Apr
12
awarded  Promoter
Mar
20
comment Delete directory indirectly inside of itself
@MrVaykadji I did and it didn't work.
Mar
20
revised Delete directory indirectly inside of itself
added 46 characters in body
Mar
20
comment Delete directory indirectly inside of itself
@tedron I have been.
Mar
20
comment Delete directory indirectly inside of itself
I couldn't find the size.
Mar
20
revised Delete directory indirectly inside of itself
added 444 characters in body
Mar
19
comment Delete directory indirectly inside of itself
They both failed. Question revised.