Now it support customize name for the workspace.
If it support different background for different work place it will be much more effective to identify different workspace.
1st work space background is set by default if specific background is not set for a workspace
Backgrounds will get destroyed as it is possible to easily add and delete workspaces. You will have to set it manually each time you create a new workspace.
But +1 if this is considered.
if different background for different workspace is not possible then as a alternative name of the workspace should be display.
name of the workspace should be display.
I have no idea what you meant, please elaborate. If you mean that name of workspace should be set as a background, then that is a VERY bad idea.
@gauravjuvekar
yes, VERY bad idea.
my second thought is that "different background for different workspace" has no alternative.
If you mean about the situation where the user creates a workspace without defining a background, then
1 Background of the workspace that the user came from or
2 background of the preceding workspace or
3 a default background(mint background from live session) should be used.
all three are possible.
1st through hot corner click + and create workspace. default background is set with one of your three option.
2nd then move to new create workspace set back ground.
one more thing need to add select workspace list on background setting.
Different backgrounds per workplace can be done via this little script (found here
http://forums.linuxmint.com/viewtopic.php?f=219&t=118540#p672189
was for Mint 13, but works still on 17.1, thanks to garalou!):
desktop_dir="/home/username/.cinnamon/backgrounds/" # full path to "username"'s image folder;
desktop_img[0]="earth1.png"
desktop_img[1]="transmission_lost.png"
desktop_img[2]="frak0002.png"
desktop_img[3]="bulb1.png"
setdesktop() {
gsettings set org.gnome.desktop.background picture-uri "file://$desktop_dir$1"
}
xprop -root -spy _NET_CURRENT_DESKTOP | (
while read -r; do
desk=${REPLY:${#REPLY}-1:1}
setdesktop ${desktop_img[$desk]}
done
)
BUT it would be much nicer if you could also have different sets of icons per workplace,
e.g. links to manuals, sources and dev tools for your developer workplace,
music, videos and audio software for your creatice workplace ...
Thank you for your suggestion. See https://linuxmint-troubleshooting-guide.readthedocs.io/en/latest/faq.html for information on how we handle feature requests.
I would formulate it this way:
e.g. I am using for each professional project and different private work a different activity in my LM KDE version. I would love to get the same functionality for LM Cinnamon as well. Cinnamon seems to be to be LM's flagship version.
BTW in XFCE this is enabled already.
I am looking forward to see this enable in Cinnamon.
@JosephMcc: other duplicates of this ticket were closed as well, does that mean this feature request was rejected?
I think the feature request per BugQContri's formulation seems like a good and natural extension of the current Cinnamon multi-workspace & multi-display desktop experience.
@GitHubIsToxic you might be interested in this mint forum thread - https://forums.linuxmint.com/viewtopic.php?f=208&t=304319
Most helpful comment
Different backgrounds per workplace can be done via this little script (found here
http://forums.linuxmint.com/viewtopic.php?f=219&t=118540#p672189
was for Mint 13, but works still on 17.1, thanks to garalou!):
!/bin/bash
Workspace desktop image switcher WDIS 1.0
Script to change the desktop image when switching workspaces.
Tested on Linux Mint 17 'cinnamon' 64bit
desktop_dir="/home/username/.cinnamon/backgrounds/" # full path to "username"'s image folder;
set some pics
desktop_img[0]="earth1.png"
desktop_img[1]="transmission_lost.png"
desktop_img[2]="frak0002.png"
desktop_img[3]="bulb1.png"
add more images if using more workspaces
setdesktop() {
gsettings set org.gnome.desktop.background picture-uri "file://$desktop_dir$1"
}
xprop -root -spy _NET_CURRENT_DESKTOP | (
while read -r; do
desk=${REPLY:${#REPLY}-1:1}
setdesktop ${desktop_img[$desk]}
done
)
#
BUT it would be much nicer if you could also have different sets of icons per workplace,
e.g. links to manuals, sources and dev tools for your developer workplace,
music, videos and audio software for your creatice workplace ...