diff options
author | rjones@thinkpad <rjones@thinkpad> | 2008-04-17 11:13:39 +0100 |
---|---|---|
committer | rjones@thinkpad <rjones@thinkpad> | 2008-04-17 11:13:39 +0100 |
commit | 5fb80987ddf0f8af6cd479964f1c5bb8340c7ba8 (patch) | |
tree | 6774d8d7c9fb2ec1b6f4b5913636f5e36af1dae2 /virt-ctrl/rebuild-icons.sh | |
parent | f9d99e63272520c19bddc9e4b47731d57e5658e2 (diff) | |
parent | f5f45d38269842b591a89ccaf2e6af7879d57aab (diff) | |
download | virt-top-5fb80987ddf0f8af6cd479964f1c5bb8340c7ba8.tar.gz virt-top-5fb80987ddf0f8af6cd479964f1c5bb8340c7ba8.tar.xz virt-top-5fb80987ddf0f8af6cd479964f1c5bb8340c7ba8.zip |
Merge.
Diffstat (limited to 'virt-ctrl/rebuild-icons.sh')
-rwxr-xr-x | virt-ctrl/rebuild-icons.sh | 44 |
1 files changed, 0 insertions, 44 deletions
diff --git a/virt-ctrl/rebuild-icons.sh b/virt-ctrl/rebuild-icons.sh deleted file mode 100755 index 399e182..0000000 --- a/virt-ctrl/rebuild-icons.sh +++ /dev/null @@ -1,44 +0,0 @@ -#!/bin/sh - -# Copyright (C) 2008 Red Hat Inc., Richard W.M. Jones -# -# This program is free software; you can redistribute it and/or modify -# it under the terms of the GNU General Public License as published by -# the Free Software Foundation; either version 2 of the License, or -# (at your option) any later version. -# -# This program is distributed in the hope that it will be useful, -# but WITHOUT ANY WARRANTY; without even the implied warranty of -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -# GNU General Public License for more details. -# -# You should have received a copy of the GNU General Public License -# along with this program; if not, write to the Free Software -# Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. - -# Generate vc_icons.ml - -echo <<'EOF' -(* The file vc_icons.ml is automatically generated from rebuild-icons.sh - * Any changes you make will be lost. - *) - -EOF -echo - -# Open any modules which may use icons. -echo "open Vc_connection_dlg" -echo - -while [ $# -gt 0 ]; do - size="$1" - name="$2" - filename="$3" - shift 3 - - gdk-pixbuf-mlsource "$filename" - echo ";;" - - name=`echo -n $name | tr -cs '[0-9a-zA-Z]' '_'` - - echo "icon_${size}x${size}_$name := Some (pixbuf ()) ;;" -done
\ No newline at end of file |