118 reputation
15
bio website daviddoria.com
location Albany, NY
age
visits member for 2 years, 8 months
seen Jun 20 at 13:17

I'm currently working on my Ph.D. in Electrical Engineering. My focus is on 3D data analysis. I also am very interested in engineering education.


Mar
20
comment Looking for an offline XML Schema validation tool
@RedGrittyBrick Interesting. I had read that 1.1 was supposed to enable unordered extensions (in 1.0 an extension of a type must only use 'sequence', 'all' is not allowed). That is the only reason I was going to try to use 1.1.
Mar
20
awarded  Commentator
Mar
20
comment Looking for an offline XML Schema validation tool
@RedGrittyBrick Unfortuatnely xmllint doesn't seem to support XML 1.1 - is this correct?
Mar
18
comment Verifying successful file transfer after moving lots of large files
@ChrisInEdmonton -c is for a checksum check BEFORE the file is copied, to see if it actually has to be copied or not (i.e. it already exists), right?
Dec
18
comment BASH: run commands asynchronously at a delay
@akira You wrote 'wait' in the code snippet, and then 'waitpid' in the text - I'm assuming it should be the same (which one?) in both places?
Nov
26
awarded  Notable Question
Oct
17
comment ssh does not try to provide private keys for github over ssh
@wingedsubmariner I suppose that makes sense. If you want to add an answer about checking PreferredAuthentications and the possible explanation, I'll accept it.
Oct
17
comment ssh does not try to provide private keys for github over ssh
@wingedsubmariner There was a line in my /etc/ssh/ssh_config like: PreferredAuthentications gssapi-with-mic,password,keyboard-interactive . I added PreferredAuthentications publickey to my ~/.ssh/config and then it worked correctly! I don't understand why it said "Trying private key id_rsa..." in my output if it was not trying to use the publickey authentication?
Oct
17
awarded  Editor
Oct
17
revised ssh does not try to provide private keys for github over ssh
Add permissions output.
Oct
16
comment ssh does not try to provide private keys for github over ssh
@wingedsubmariner My entire ~/.ssh/config is: RSAAuthentication yes PubkeyAuthentication yes
Oct
16
asked ssh does not try to provide private keys for github over ssh
Jun
14
awarded  Student
Feb
28
awarded  Popular Question
May
12
comment How do I turn off the click sound when closing a tab in chrome?
Any ideas how to do the same thing in KDE?
Feb
4
awarded  Scholar
Feb
4
accepted .profile not running when I start a bash terminal
Feb
4
comment .profile not running when I start a bash terminal
I am using KDM.
Feb
3
comment .profile not running when I start a bash terminal
So when I run 'konsole' in KDE, that is a non-login shell, right? On another machine I have definitely put things in .profile and had them work when I open a terminal like this - I guess I don't understand when you'd want something different to happen at login vs when you open a terminal?
Feb
3
asked .profile not running when I start a bash terminal