My Pastes
Public Pastes
Layout Width
Share Pastebin
Guest
Public paste!

Untitled

By: a guest | Feb 3rd, 2010 | Syntax: None | Size: 0.24 KB | Hits: 16 | Expires: Never
Download | Raw | Embed | Report abuse
Copy text to clipboard
  1. /*
  2.  * Read /etc/profile or .profile.
  3.  */
  4. static void
  5. read_profile(const char *name)
  6. {
  7.         int skip;
  8.  
  9.         if (setinputfile(name, INPUT_PUSH_FILE | INPUT_NOFILE_OK) < 0)
  10.                 return;
  11.         skip = cmdloop(0);
  12.         popfile();
  13.         if (skip)
  14.                 exitshell();
  15. }
create new paste | create new version of this paste RAW Paste Data