Edit /usr/share/themes/<theme name>/cinnamon/cinnamon.css
- change
font-family
for fonts. - change
.window-list-item-label
and.window-list-item-box
for window list
Open a Terminal and try the next commands : | |
dbus-send --session --dest=org.pantheon.gala --print-reply /org/pantheon/gala org.pantheon.gala.PerformAction int32:1 | |
Luna : Workspace Overview ( keep Enter pressed ), Freya : Multitasking View | |
dbus-send --session --dest=org.pantheon.gala --print-reply /org/pantheon/gala org.pantheon.gala.PerformAction int32:2 | |
Terminal maximizes | |
dbus-send --session --dest=org.pantheon.gala --print-reply /org/pantheon/gala org.pantheon.gala.PerformAction int32:3 | |
Terminal minimizes |
Source: https://www.reddit.com/r/linux/comments/14heuu/xfce_gala_plank_awesome/ | |
Add the elementary daily ppa and install gala + plank + dconf-tools | |
sudo apt-add-repository ppa:elementary-os/daily | |
sudo apt-get update $$ sudo apt-get dist-upgrade | |
sudo apt-get install gala plank dconf-tools gtk2-engines-pixbuf | |
Set gala as xfce's default window manager |
Edit /usr/share/themes/<theme name>/cinnamon/cinnamon.css
font-family
for fonts..window-list-item-label
and .window-list-item-box
for window list[Desktop Entry] | |
Name=Activities | |
Comment=Show Windows & Workspaces | |
GenericName=Activities | |
Exec=xdotool key super | |
Icon=emblem-photos-symbolic | |
Type=Application | |
StartupNotify=true | |
Categories=GNOME; | |
MimeType=text/plain; |
#!/usr/bin/env bash | |
PROJECT=$(cat meson.build| grep 'project(' | head -n1 | awk -F "'" '{print $2 }') | |
meson . build && cd build && ninja && ./$PROJECT |
Append to /etc/systemd/system.conf | |
DefaultLimitNOFILE=500000 |
REMOTE=${REMOTE:-"upstream/master"} | |
DOC_EXAMPLE_CHANGE_PATTERN="\ | |
-e ^doc/ \ | |
-e ^examples/ \ | |
-e ^(VERSION|LICENSE)$ \ | |
-e \.md$\ | |
" | |
echo using remote $REMOTE |
# Gnome 3 - based on https://blog.samalik.com/make-your-gnome-title-bars-smaller/ | |
.header-bar.default-decoration { | |
padding-top: 3px; | |
padding-bottom: 3px; | |
font-size: 0.8em; | |
} | |
.header-bar.default-decoration .button.titlebutton { | |
padding: 0px; | |
} |