Quick question: in the Ubuntu philosophy of making opionionated decisions
and having a default that works rather than overwhelming users with
multiple settings, would it not make sense to just set the font to Ubuntu
mono?
Cheers,
David.
On Tue, Sep 23, 2014 at 3:26 PM, Ubuntu Phone Apps Jenkins Bot <
<email address hidden>> wrote:
Quick question: in the Ubuntu philosophy of making opionionated decisions
and having a default that works rather than overwhelming users with
multiple settings, would it not make sense to just set the font to Ubuntu
mono?
Cheers,
David.
On Tue, Sep 23, 2014 at 3:26 PM, Ubuntu Phone Apps Jenkins Bot <
<email address hidden>> wrote:
> Review: Approve continuous- integration 91.189. 93.70:8080/ job/ubuntu- terminal- app-ci/ 104/ 91.189. 93.70:8080/ job/generic- mediumtests- utopic- python3/ 489 91.189. 93.70:8080/ job/generic- mediumtests- utopic- python3/ 489/artifact/ work/output/ *zip*/output. zip 91.189. 93.70:8080/ job/ubuntu- terminal- app-utopic- amd64-ci/ 48 91.189. 93.70:8080/ job/ubuntu- terminal- app-ci/ 104/rebuild /code.launchpad .net/~akiva/ ubuntu- terminal- app/1349749work around- select- font-added- to-preferences/ +merge/ 235621
>
> PASSED: Continuous integration, rev:151
> http://
> Executed test runs:
> SUCCESS:
> http://
> deb:
> http://
> SUCCESS:
> http://
>
> Click here to trigger a rebuild:
> http://
>
> --
>
> https:/
> Your team Ubuntu Terminal Developers is requested to review the proposed
> merge of
> lp:~akiva/ubuntu-terminal-app/1349749workaround-select-font-added-to-preferences
> into lp:ubuntu-terminal-app.
>