[<prev] [next>] [day] [month] [year] [list]
Message-ID: <CAP-5=fV1_JToqVDqjTcTpLZ48CzfGY-kmH_WOoAD8z+QNyRsaw@mail.gmail.com>
Date: Thu, 18 Aug 2022 09:30:48 -0700
From: Ian Rogers <irogers@...gle.com>
To: Arnaldo Carvalho de Melo <arnaldo.melo@...il.com>
Cc: Arnaldo Carvalho de Melo <acme@...nel.org>,
John Kacur <jkacur@...hat.com>,
Adrian Hunter <adrian.hunter@...el.com>,
Jiri Olsa <jolsa@...nel.org>,
Namhyung Kim <namhyung@...nel.org>,
Jonathan Corbet <corbet@....net>,
Peter Zijlstra <peterz@...radead.org>,
Ingo Molnar <mingo@...hat.com>,
Mark Rutland <mark.rutland@....com>,
Alexander Shishkin <alexander.shishkin@...ux.intel.com>,
linux-perf-users <linux-perf-users@...r.kernel.org>,
LKML <linux-kernel@...r.kernel.org>
Subject: Re: perf tools man pages on the web
On Thu, Aug 18, 2022 at 9:24 AM Arnaldo Carvalho de Melo
<arnaldo.melo@...il.com> wrote:
>
>
>
> On Wed, Aug 17, 2022, 10:21 AM Arnaldo Carvalho de Melo <acme@...nel.org> wrote:
>>
>> Em Wed, Aug 17, 2022 at 06:02:25AM -0700, Ian Rogers escreveu:
>> > On Wed, Aug 17, 2022 at 1:55 AM Adrian Hunter <adrian.hunter@...el.com> wrote:
>> > > Speaking of the wiki, anyone know how to change the
>> > > "Set $wgLogo to the URL path to your own logo image." image?
>>
>> > +1000
>>
>> > Someone at RedHat knows :-)
>>
>> Documentation is at the Media Wiki site, admin up to a point was John Kacur,
>> John?
>>
>> https://www.mediawiki.org/wiki/Manual:FAQ#Changing_the_interface>
>>
>> --------------------- 8< ----------------------------------
>>
>> How do I change the logo?
>>
>> The logo that appears in the top left of each page is determined by the $wgLogo configuration line in the LocalSettings.php file.
>>
>> There are two ways to change the logo:
>>
>> Upload a picture to your wiki using the normal file uploading interface. This allows the logo to be replaced easily, so you may want to protect the page if you use this method.
>>
>> Then add the $wgLogo line to LocalSettings.php, for example:
>>
>> $wgLogo = "{$wgUploadPath}/6/62/mylogo.png";
>>
>> Upload an image to your server by other means (such as FTP).
>>
>> Add the $wgLogo line to LocalSettings.php, for example:
>>
>> $wgLogo = "{$wgScriptPath}/mylogo.jpg";
>>
>> (In this example, the image is in the same folder as the LocalSettings.php file.)
>>
>> If you want to change the logo in only specific pages, override #p-logo
>> css's background-image property or use third party extension like
>> Extension:LogoFunctions. Caution! Caution: Do not simply overwrite
>> the default logo installed with MediaWiki (/resources/assets/wiki.png);
>> this file will be overwritten when you upgrade. A good size for a
>> square logo is 135x135px or 150x150px, but the logo need not be square,
>> especially if it contains text below an image. The maximum logo size in
>> Vector is ~160x160px, while MonoBook's is ~155x155px. A logo that is too
>> large will be cut off.
>>
>> --------------------- 8< ----------------------------------
>
>
> I got it sorted out with the kernel.org admins.
>
> Please force reload.
You made my day!
Thanks,
Ian
> - Arnaldo
Powered by blists - more mailing lists