VesperOS/desktop-base
6
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
162 Commits 1 Branch 0 Tags
9ffbd5ae9dfdbb3a7f5fa7bda53efd95db33ed64
Commit Graph

11 Commits

Author SHA1 Message Date
Yves-Alexis Perez
9ffbd5ae9d run optipng on png files. 2010-11-17 22:13:34 +00:00
Yves-Alexis Perez
45a3926d6d grub/grub_background.sh: invert highlight and normal text color for better 
readability.
 2010-11-17 21:27:07 +00:00
Yves-Alexis Perez
da33e97261 switch to light grey for people with dark screens 2010-11-14 15:47:19 +00:00
Yves-Alexis Perez
0bddbedf8a add a widescreen version of grub background 2010-11-14 15:42:38 +00:00
Yves-Alexis Perez
be118e6bb9 switch to 1024×768 for grub background 2010-11-14 13:57:35 +00:00
Yves-Alexis Perez
0836011d65 update colors 2010-11-14 13:29:58 +00:00
Yves-Alexis Perez
9410da27dc - add SpaceFun alternative at maximum level (default Squeeze theme). 
- rename grub alternative to add png extension so grub can find it.
  - run sync before updating grub to be sure the grub background has been
    written to disk.
* debian/prerm:
  - rename grub alternative to add png extension.
  - install grub theme and script.
* grub:
  - add SpaceFun grub theme.
  - add a grub_background.sh which will override settings in grub and
    correctly set the default theme.
 2010-11-14 13:08:07 +00:00
Gustavo Noronha Silva
f5af48dc84 changing name of the debblue splash to conform to the "standard" 
naming convention I adopted

  * postinst, prerm:
  - use alternatives to provide the default background and splash

no longer create a splash_default link in Makefile, no longer provide
grub stuff
 2004-10-24 15:37:47 +00:00
Gustavo Noronha Silva
c0e69dee0a * gdm/debblue{,-list}: 
- adding debblue gdm theme and its 'user list' counterpart
  * backgrounds/debblue-1600x1200.png:
  - added debblue's largest background
  * grub/debblue.xpm.gz:
  - added debblue's grub splash
  * debian/copyright:
  - updated to mention the debblue copyright/license
  * Makefile:
  - install gdm themes in /usr/share/gdm/themes
  - install debblue background, grub theme and splash and make them 
    the default
 2004-10-24 05:41:55 +00:00
Gustavo Noronha Silva
f262f479bf changing name of the debblue splash to conform to the "standard" 
naming convention I adopted

  * postinst, prerm:
  - use alternatives to provide the default background and splash

no longer create a splash_default link in Makefile, no longer provide
grub stuff
 2004-10-24 15:37:47 +00:00
Gustavo Noronha Silva
1750456057 * gdm/debblue{,-list}: 
- adding debblue gdm theme and its 'user list' counterpart
  * backgrounds/debblue-1600x1200.png:
  - added debblue's largest background
  * grub/debblue.xpm.gz:
  - added debblue's grub splash
  * debian/copyright:
  - updated to mention the debblue copyright/license
  * Makefile:
  - install gdm themes in /usr/share/gdm/themes
  - install debblue background, grub theme and splash and make them 
    the default
 2004-10-24 05:41:55 +00:00