Re: [orca-list] More command line options for your consideration
- From: Steve Holmes <steve holmes88 gmail com>
- To: Joanmarie Diggs <jdiggs igalia com>
- Cc: orca-list <orca-list gnome org>
- Subject: Re: [orca-list] More command line options for your consideration
- Date: Fri, 11 May 2012 23:37:47 -0700
If we can kill orca with a single command, then we don't need the command line options anymore. I'd agree
with removing them. Frankly, I had some experiences where the -q option didn't work for me on occasion. The
main thing is being to easily determine the correct process ID.
On May 11, 2012, at 3:28 PM, Joanmarie Diggs wrote:
Hey again.
As I continue to work, I continue to think. (Not sure if that's a good
thing or a bad thing, but anyhoo...)
Some historical context: The reasons why we have orca -q/--quit and orca
-f/--forcequit are:
1. We had two processes to run Orca
2. Killing one process (the python orca) by pid wouldn't kill the other
3. pkill -9 and pkill -15 couldn't be used to kill Orca
What we have as of today (in master, modulo nits and such):
1. There is only one process to run Orca.
2. Killing that one process by pid kills it
3. pkill -9 orca and pkill -15 orca each work
So orca -f and orca -q are redundant. We still need replace, but do we
need specialized quit command line options?
Take care.
--joanie
_______________________________________________
orca-list mailing list
orca-list gnome org
http://mail.gnome.org/mailman/listinfo/orca-list
Visit http://live.gnome.org/Orca for more information on Orca.
The manual is at http://library.gnome.org/users/gnome-access-guide/nightly/ats-2.html
The FAQ is at http://live.gnome.org/Orca/FrequentlyAskedQuestions
Log bugs and feature requests at http://bugzilla.gnome.org
Find out how to help at http://live.gnome.org/Orca/HowCanIHelp
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]