| 1 |
On 16/01/13 08:52, Michael Palimaka wrote: |
| 2 |
> On 16/01/2013 10:36, Andreas K. Huettel wrote: |
| 3 |
>> |
| 4 |
>> Hi, |
| 5 |
>> |
| 6 |
>> several people have pointed out to me that the 10.0 -> 13.0 transition |
| 7 |
>> would |
| 8 |
>> be a good moment to finally remove the (also in my opinion rather |
| 9 |
>> useless) |
| 10 |
>> server profiles. |
| 11 |
>> |
| 12 |
>> The easiest way to do this would be to |
| 13 |
>> * just not copy the server profiles from 10.0 to 13.0 and |
| 14 |
>> * have the deprecation warning for "10.0/server" point to "13.0" (i.e. |
| 15 |
>> prompt |
| 16 |
>> users to upgrade from the 10.0 server profile to the 13.0 base profile). |
| 17 |
>> |
| 18 |
>> Opinions? |
| 19 |
>> [I'm not doing anything with this regard unless a clear consensus is |
| 20 |
>> found |
| 21 |
>> here on the list. Otherwise I'll copy the dirs 1:1.] |
| 22 |
>> |
| 23 |
>> Cheers, A |
| 24 |
>> |
| 25 |
>> |
| 26 |
> +1. Cutting down of the number of useless profiles in the long run is a |
| 27 |
> great idea. |
| 28 |
|
| 29 |
specially since it will make repoman faster. it takes a lot of time for |
| 30 |
it to process a lot of profiles. i mean, once it's gone from profiles.desc |
Archives