1 %define extname workspacebar
2 Summary: A toolbar for your panel that allows you to switch workspaces
3 Name: gnome-shell-extension-%{extname}
6 Group: X11/Applications
8 # $ git clone git://github.com/mbokil/workspacebar.git
10 # $ git archive --format=tar --prefix=%{name}-%{version}/ master | xz > ../%{name}-%{version}.tar.xz
11 Source0: %{extname}-%{version}.tar.xz
12 # Source0-md5: 17535842481ad8d699c977eff06345af
13 URL: http://markbokil.com/downloads/extensions/
14 Requires: gnome-shell >= 3.6.0
16 BuildRoot: %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
19 A toolbar for your panel that allows you to switch workspaces.
20 Latest update includes a panel position option of left, center,
21 and right. Also there is an option to display the Overview on mouse
25 %setup -q -n %{extname}-%{version}
30 rm -rf $RPM_BUILD_ROOT
31 install -d $RPM_BUILD_ROOT%{_datadir}/glib-2.0/schemas \
32 $RPM_BUILD_ROOT%{_datadir}/gnome-shell/extensions/workspace-bar@markbokil.com
34 install schemas/org.gnome.shell.extensions.workspacebar.gschema.xml $RPM_BUILD_ROOT%{_datadir}/glib-2.0/schemas/
35 install *.js* $RPM_BUILD_ROOT%{_datadir}/gnome-shell/extensions/workspace-bar@markbokil.com/
36 install *.css $RPM_BUILD_ROOT%{_datadir}/gnome-shell/extensions/workspace-bar@markbokil.com/
39 rm -rf $RPM_BUILD_ROOT
48 %defattr(644,root,root,755)
49 %{_datadir}/glib-2.0/schemas/org.gnome.shell.extensions.workspacebar.gschema.xml
50 %{_datadir}/gnome-shell/extensions/workspace-bar*