Пример #1
0
 def destroy(self):
     # save history to files
     if ranger.args.clean or not self.settings.save_console_history:
         return
     if self.historypath:
         try:
             fobj = open(self.historypath, 'w')
         except OSError as ex:
             self.fm.notify('Failed to write history file', bad=True, exception=ex)
         else:
             for entry in self.history_backup:
                 try:
                     fobj.write(entry + '\n')
                 except UnicodeEncodeError:
                     pass
             fobj.close()
     Widget.destroy(self)
Пример #2
0
 def destroy(self):
     # save history to files
     if ranger.arg.clean or not self.settings.save_console_history:
         return
     if self.historypath:
         try:
             f = open(self.historypath, 'w')
         except:
             pass
         else:
             for entry in self.history_backup:
                 try:
                     f.write(entry + '\n')
                 except UnicodeEncodeError:
                     pass
             f.close()
     Widget.destroy(self)
Пример #3
0
 def destroy(self):
     # save history to files
     if ranger.args.clean or not self.settings.save_console_history:
         return
     if self.historypath:
         try:
             with open(self.historypath, 'w') as fobj:
                 for entry in self.history_backup:
                     try:
                         fobj.write(entry + '\n')
                     except UnicodeEncodeError:
                         pass
         except (OSError, IOError) as ex:
             self.fm.notify("Failed to write history file",
                            bad=True,
                            exception=ex)
     Widget.destroy(self)
Пример #4
0
 def destroy(self):
     # save history to files
     if ranger.arg.clean or not self.settings.save_console_history:
         return
     if self.historypath:
         try:
             f = open(self.historypath, 'w')
         except Exception:
             pass
         else:
             for entry in self.history_backup:
                 try:
                     f.write(entry + '\n')
                 except UnicodeEncodeError:
                     pass
             f.close()
     Widget.destroy(self)