A fork of the Materia GTK theme.

Important information: Google announced that, from September 2026, Android devices will require ALL apps to be signed by Google, effectively leading to an iOS situation. Value your right to a computer that does what you want; do not tolerate this monopolistic practice! Contact me if you don't understand why it is bad. Click to learn more.

gnome-shell/meson: Improve the version determination

  • Allow specifying micro version in the build option gnome_shell_version.

  • Support the new versioning starting at 40.

Fixes https://github.com/nana-4/materia-theme/issues/551

by roundabout, Saturday, 6 March 2021, 23:35:55 (1615073755), pushed by roundabout, Sunday, 11 May 2025, 13:22:59 (1746969779)

Author identity: nana-4 <hnmaigo@gmail.com>

8526aeeb045758d2fd8d34d1c5eec742e9692063

src/gnome-shell/meson.build

@@ -1,20 +1,21 @@

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            gnome_shell = find_program('gnome-shell', required: false)
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            if get_option('gnome_shell_version') != ''
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          gnome_shell_version = get_option('gnome_shell_version')
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          gnome_shell_full_version = get_option('gnome_shell_version')
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        elif gnome_shell.found()
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          gnome_shell_full_version = run_command(gnome_shell, '--version').stdout().split()[-1]
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            else
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          if gnome_shell.found()
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            gnome_shell_version_array = run_command([gnome_shell, '--version']).stdout().split('\n')[0].split(' ')[-1].strip().split('.')
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          message('gnome-shell not found, using styles for last gnome-shell version availible')
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          gnome_shell_full_version = '3.38'
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        endif
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            if gnome_shell_version_array[1].to_int().is_even()
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                              gnome_shell_version = '.'.join([gnome_shell_version_array[0], gnome_shell_version_array[1]])
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            else
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                              gnome_shell_version = '.'.join([gnome_shell_version_array[0], (gnome_shell_version_array[1].to_int() + 1).to_string()])
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            endif
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          else
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            message('gnome-shell not found, using styles for last gnome-shell version availible')
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            gnome_shell_version = '3.36'
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          endif
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        gnome_shell_version_array = gnome_shell_full_version.split('.')
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        if gnome_shell_version_array[0].version_compare('>= 40')
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          gnome_shell_version = gnome_shell_version_array[0]
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        elif gnome_shell_version_array[1].to_int().is_even()
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          gnome_shell_version = gnome_shell_version_array[0] + '.' + gnome_shell_version_array[1]
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        else
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          gnome_shell_version = gnome_shell_version_array[0] + '.' + (gnome_shell_version_array[1].to_int() + 1).to_string()
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            endif
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            gnome_shell_scss_depend_files = files([