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 BuildRequires: gnome-common
15 BuildRequires: intltool
16 BuildRequires: gnome-desktop-devel
17 BuildRequires: libgtop-devel
18 Requires: gnome-shell >= 3.6.0
20 BuildRoot: %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
23 A toolbar for your panel that allows you to switch workspaces.
24 Latest update includes a panel position option of left, center,
25 and right. Also there is an option to display the Overview on mouse
29 %setup -q -n %{extname}-%{version}
34 rm -rf $RPM_BUILD_ROOT
35 install -d $RPM_BUILD_ROOT%{_datadir}/glib-2.0/schemas \
36 $RPM_BUILD_ROOT%{_datadir}/gnome-shell/extensions/workspace-bar@markbokil.com
38 install schemas/org.gnome.shell.extensions.workspacebar.gschema.xml $RPM_BUILD_ROOT%{_datadir}/glib-2.0/schemas/
39 install *.js* $RPM_BUILD_ROOT%{_datadir}/gnome-shell/extensions/workspace-bar@markbokil.com/
40 install *.css $RPM_BUILD_ROOT%{_datadir}/gnome-shell/extensions/workspace-bar@markbokil.com/
43 rm -rf $RPM_BUILD_ROOT
52 %defattr(644,root,root,755)
53 %{_datadir}/glib-2.0/schemas/org.gnome.shell.extensions.workspacebar.gschema.xml
54 %{_datadir}/gnome-shell/extensions/workspace-bar*