Skip to content

Instantly share code, notes, and snippets.

@jrwren

jrwren/gist:2344650

Created April 9, 2012 16:44
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save jrwren/2344650 to your computer and use it in GitHub Desktop.
Save jrwren/2344650 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
┌─────────────────────────────────────────────────────┤ Modified configuration file ├─────────────────────────────────────────────────────┐
│ A new version of configuration file /etc/php5/cgi/php.ini is available, but the version installed currently has been locally modified. │
│ │
│ What do you want to do about modified configuration file php.ini? │
│ │
│ install the package maintainer's version │
│ keep the local version currently installed │
│ show the differences between the versions │
│ show a side-by-side difference between the versions │
│ start a new shell to examine the situation │
│ │
│ │
│ <Ok> │
│ │
└─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┘
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment