Hide keyboard shortcuts

Hot-keys on this page

r m x p   toggle line displays

j k   next/prev highlighted chunk

0   (zero) top of page

1   (one) first highlighted chunk

1# coding: latin-1 

2""" 

3@file 

4@brief Contains a list of web site with some useful tools. 

5""" 

6import webbrowser 

7 

8_tools = { 

9 "7z": "http://www.7-zip.org/download.html", 

10 "miktex": "http://miktex.org/download", 

11 "texniccenter": "http://www.texniccenter.org/download/", 

12 "python": "https://www.python.org/downloads/release/python-341/", 

13 "mingw": "http://sourceforge.net/projects/mingw/files/Installer/", 

14 "VS": "http://www.microsoft.com/download/details.aspx?id=40787", 

15 "cygwin": "https://cygwin.com/install.html", 

16 "chrome": "http://www.google.com/chrome/browser/", 

17 "firefox": "http://www.mozilla.org/firefox/new/", 

18 "graphviz": "http://www.graphviz.org/", 

19 "doxygen": "http://www.stack.nl/~dimitri/doxygen/download.html", 

20 "nodejs": "http://nodejs.org/download/", 

21 # "innosetup":"http://www.jrsoftware.org/isdl.php", 

22} 

23 

24 

25def get_install_list(): 

26 """ 

27 returns the list of tools a developper might need 

28 """ 

29 global _tools # pylint: disable=W0602 

30 return list(_tools.keys()) 

31 

32 

33def open_tool_on_browser(tool=None): 

34 """ 

35 open a page on browser for a specific tool 

36 

37 @param tool tool name 

38 """ 

39 global _tools # pylint: disable=W0602 

40 if isinstance(tool, str): 

41 tool = [tool] 

42 elif tool is None: 

43 tool = get_install_list() 

44 for t in tool: 

45 webbrowser.open_new_tab(_tools[t]) 

46 

47 

48if __name__ == "__main__": 

49 open_tool_on_browser()