Internet radio browser GUI for music/video streams from various directory services.

⌈⌋ ⎇ branch:  streamtuner2


Check-in [7aafeff157]

Overview
Comment:Use os.path.expand* for env vars and `~` homedir placeholder.
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1: 7aafeff15791f030cf3e926cfb46f61ab0c5dc36
User & Date: mario on 2015-04-05 14:07:07
Other Links: manifest | tags
Context
2015-04-05
14:08
Manually register addon widget signals. Otherwise main keeps bugging with GtkWarnings when timer plugin is disabled. check-in: 33e106bce5 user: mario tags: trunk
14:07
Use os.path.expand* for env vars and `~` homedir placeholder. check-in: 7aafeff157 user: mario tags: trunk
14:06
Mention `make glade`, as gtk3.xml is now compressed per gzip after all. check-in: 57e4b7c323 user: mario tags: trunk
Changes

Modified channels/file.py from [1ed6e9a8dc] to [1012fab795].

117
118
119
120
121
122
123
124

125
126
127
128
129
130
131
132
117
118
119
120
121
122
123

124

125
126
127
128
129
130
131







-
+
-








    # read dirs
    def scan_dirs(self):
        self.categories = []
    
        # add main directory
        for main in self.dir:
          main = re.sub("^~", os.environ.get("HOME"))
          main = os.path.expanduser(os.path.expandvars(main))
          main = re.sub("[$]([A-Z_]+)", lambda m: os.environ.get(m.group(1)), main)
          if os.path.exists(main):
            self.categories.append(main)
            
            # prepare subdirectories list
            sub = []
            self.categories.append(sub)