1 %define extname workspacebar
2 Summary: A toolbar for your panel that allows you to switch workspaces
3 Name: gnome-shell-extension-%{extname}
7 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 BuildRequires: tar >= 1:1.22
16 Requires: gnome-shell >= 3.6.0
18 BuildRoot: %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
21 A toolbar for your panel that allows you to switch workspaces. Latest
22 update includes a panel position option of left, center, and right.
23 Also there is an option to display the Overview on mouse entry.
26 %setup -q -n %{extname}-%{version}
29 rm -rf $RPM_BUILD_ROOT
30 install -d $RPM_BUILD_ROOT%{_datadir}/glib-2.0/schemas \
31 $RPM_BUILD_ROOT%{_datadir}/gnome-shell/extensions/workspace-bar@markbokil.com
33 cp -p schemas/org.gnome.shell.extensions.workspacebar.gschema.xml $RPM_BUILD_ROOT%{_datadir}/glib-2.0/schemas
34 cp -p *.js* $RPM_BUILD_ROOT%{_datadir}/gnome-shell/extensions/workspace-bar@markbokil.com
35 cp -p *.css $RPM_BUILD_ROOT%{_datadir}/gnome-shell/extensions/workspace-bar@markbokil.com
38 rm -rf $RPM_BUILD_ROOT
47 %defattr(644,root,root,755)
48 %{_datadir}/glib-2.0/schemas/org.gnome.shell.extensions.workspacebar.gschema.xml
49 %{_datadir}/gnome-shell/extensions/workspace-bar*