grab_cgoban(6) [debian man page]

grab_cgoban(6)							   Games Manual 						    grab_cgoban(6)

NAME

       grab_cgoban - take a snapshot of a cgoban board

SYNOPSIS

       grab_cgoban [ filename.gif ]

DESCRIPTION

       This shell script looks for a cgoban window, grabs the displayed Go board and saves it as a GIF file.  It can use imagemagick or pbmplus to
       convert the image to GIF.  If it can't find either, it will save it as an XWD image instead.  In that case it will add the  extension  .xwd
       to the filename supplied.

AUTHOR

       Anthony Thyssen <anthony@cit.gu.edu.au>.

       This manual page was provided by Richard Braakman <dark@xs4all.nl>.

								  6 December 1997						    grab_cgoban(6)

IMAGEGIF(3)								 1							       IMAGEGIF(3)

imagegif - Output image to browser or file

SYNOPSIS

       bool imagegif (resource	$image, [string  $filename])

DESCRIPTION

       imagegif(3)  creates the GIF file in filename from the image $image. The $image argument is the return from the imagecreate(3) or imagecre-
       atefrom* function.

	The image format will be GIF87a unless the image has been made transparent with imagecolortransparent(3), in which case the  image  format
       will be GIF89a.

PARAMETERS

	      o $
		image -An image resource, returned by one of the image creation functions, such as imagecreatetruecolor(3).

	      o $filename
		-The path to save the file to. If not set or NULL, the raw image stream will be outputted directly.

RETURN VALUES

	Returns TRUE on success or FALSE on failure.

EXAMPLES

       Example #1

	      Outputting an image using imagegif(3)

	      <?php
	      // Create a new image instance
	      $im = imagecreatetruecolor(100, 100);

	      // Make the background white
	      imagefilledrectangle($im, 0, 0, 99, 99, 0xFFFFFF);

	      // Draw a text string on the image
	      imagestring($im, 3, 40, 20, 'GD Library', 0xFFBA00);

	      // Output the image to browser
	      header('Content-Type: image/gif');

	      imagegif($im);
	      imagedestroy($im);
	      ?>

       Example #2

	      Converting a PNG image to GIF using imagegif(3)

	      <?php

	      // Load the PNG
	      $png = imagecreatefrompng('./php.png');

	      // Save the image as a GIF
	      imagegif($png, './php.gif');

	      // Free from memory
	      imagedestroy($png);

	      // We're done
	      echo 'Converted PNG image to GIF with success!';
	      ?>

NOTES

       Note

	      GIF support was removed from the GD library in Version 1.6, and added back in Version 2.0.28. This function is not available between
	      these versions. For more information, see the GD Project site.

	       The following code snippet allows you to write more portable PHP applications by auto-detecting the type of  GD	support  which	is
	      available. Replace the sequence header ("Content-Type: image/gif"); imagegif ($im); by the more flexible sequence:

	      <?php
	      // Create a new image instance
	      $im = imagecreatetruecolor(100, 100);

	      // Do some image operations here

	      // Handle output
	      if(function_exists('imagegif'))
	      {
		  // For GIF
		  header('Content-Type: image/gif');

		  imagegif($im);
	      }
	      elseif(function_exists('imagejpeg'))
	      {
		  // For JPEG
		  header('Content-Type: image/jpeg');

		  imagejpeg($im, NULL, 100);
	      }
	      elseif(function_exists('imagepng'))
	      {
		  // For PNG
		  header('Content-Type: image/png');

		  imagepng($im);
	      }
	      elseif(function_exists('imagewbmp'))
	      {
		  // For WBMP
		  header('Content-Type: image/vnd.wap.wbmp');

		  imagewbmp($im);
	      }
	      else
	      {
		  imagedestroy($im);

		  die('No image support in this PHP server');
	      }

	      // If image support was found for one of these
	      // formats, then free it from memory
	      if($im)
	      {
		  imagedestroy($im);
	      }
	      ?>

       Note

	       As of PHP 4.0.2 you can use the function imagetypes(3) in place of function_exists(3) for checking the presence of the various sup-
	      ported image formats:

	      <?php
	      if(imagetypes() & IMG_GIF)
	      {
		  header('Content-Type: image/gif');
		  imagegif($im);
	      }
	      elseif(imagetypes() & IMG_JPG)
	      {
		  /* ... etc. */
	      }
	      ?>

SEE ALSO

       imagepng(3), imagewbmp(3), imagejpeg(3), imagetypes(3).

PHP Documentation Group 													       IMAGEGIF(3)