Re: [dev-servo] Panic reports belong in a separate repository
I like this idea -Manish Goregaokar On Mon, Jul 4, 2016 at 9:06 PM, Josh Matthews wrote: > While there can be advantages to having them integrated directly into > servo/servo, the sheer volume of reports is making my usual practices of > keeping on top of things happening in servo/servo difficult to maintain. We > should create a separate repository and redirect the panic reporter there, > and file issues in servo/servo when a panic is reproducible. There exist > tools to migrate issue reports between repositories (not built into github, > unfortunately), so we could even write a bot that would automatically > migrate it for us. > > Cheers, > Josh > ___ > dev-servo mailing list > dev-servo@lists.mozilla.org > https://lists.mozilla.org/listinfo/dev-servo > ___ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
Re: [dev-servo] Panic reports belong in a separate repository
Yes, this sounds like a good idea, especially if we can migrate issues. On Jul 5, 2016 06:03, "Manish Goregaokar" wrote: > I like this idea > > -Manish Goregaokar > > On Mon, Jul 4, 2016 at 9:06 PM, Josh Matthews > wrote: > > > While there can be advantages to having them integrated directly into > > servo/servo, the sheer volume of reports is making my usual practices of > > keeping on top of things happening in servo/servo difficult to maintain. > We > > should create a separate repository and redirect the panic reporter > there, > > and file issues in servo/servo when a panic is reproducible. There exist > > tools to migrate issue reports between repositories (not built into > github, > > unfortunately), so we could even write a bot that would automatically > > migrate it for us. > > > > Cheers, > > Josh > > ___ > > dev-servo mailing list > > dev-servo@lists.mozilla.org > > https://lists.mozilla.org/listinfo/dev-servo > > > ___ > dev-servo mailing list > dev-servo@lists.mozilla.org > https://lists.mozilla.org/listinfo/dev-servo > ___ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
[dev-servo] Getting rid of the "Servo unexpectedly quit last time; reopen/don't reopen" dialog on OS X
Servo occasionally gets into a state where it continually wants to reopen the windows from the last run that was interrupted by a crash on OS X. This doesn't actually work and is annoying. I made this disappear by running "rm -rf ~/Library/Saved\ Application\ State/org.servo.servo.savedState/". http://stackoverflow.com/questions/20226802/disable-the-last-time-you-opened-it-unexpectedly-quit-while-reopening-window suggests a preference we would disable to avoid this for good; is that something we could set in the plist file? Cheers, Josh ___ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
Re: [dev-servo] Panic reports belong in a separate repository
Hi Folks, We end up submitting crashes to servo/servo as it seemed like a preferred choice last week when I talked to Jack about it. If you want to use a different repository instead, please let me know which one (preferably via issue in https://github.com/browserhtml/browserhtml and mentioning @gozala) and I'll make sure to direct crash reports there instead. Regards ___ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
Re: [dev-servo] Getting rid of the "Servo unexpectedly quit last time; reopen/don't reopen" dialog on OS X
The `defaults` command can be used directly on plist files, so done: https://github.com/servo/servo/pull/12267 -Manish Goregaokar On Tue, Jul 5, 2016 at 9:42 PM, Josh Matthews wrote: > Servo occasionally gets into a state where it continually wants to reopen > the windows from the last run that was interrupted by a crash on OS X. This > doesn't actually work and is annoying. I made this disappear by running "rm > -rf ~/Library/Saved\ Application\ State/org.servo.servo.savedState/". > http://stackoverflow.com/questions/20226802/disable-the-last-time-you-opened-it-unexpectedly-quit-while-reopening-window > suggests a preference we would disable to avoid this for good; is that > something we could set in the plist file? > > Cheers, > Josh > ___ > dev-servo mailing list > dev-servo@lists.mozilla.org > https://lists.mozilla.org/listinfo/dev-servo > ___ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
