mirror of
				https://github.com/zen-browser/desktop.git
				synced 2025-10-26 12:27:50 +00:00 
			
		
		
		
	
		
			
				
	
	
		
			31 lines
		
	
	
		
			707 B
		
	
	
	
		
			Bash
		
	
	
	
	
	
			
		
		
	
	
			31 lines
		
	
	
		
			707 B
		
	
	
	
		
			Bash
		
	
	
	
	
	
| #!/bin/bash
 | |
| 
 | |
| set -e
 | |
| 
 | |
| COMPONENT_ROOT=$(pwd)/src/zen
 | |
| 
 | |
| EXTRA_COMPONENTS=(
 | |
|   "scripts"
 | |
|   "workflows"
 | |
|   "winsign"
 | |
|   "flatpak"
 | |
|   "configs"
 | |
| )
 | |
| 
 | |
| echo "" > .formal-git/components
 | |
| 
 | |
| # iterate top directories and adding the base name to .formal-git/components
 | |
| for dir in $(find $COMPONENT_ROOT -maxdepth 1 -type d | grep -v '\.git' | grep -v 'node_modules' | grep -v 'engine'); do
 | |
|   if [ "$dir" != "$COMPONENT_ROOT" ]; then
 | |
|     echo "$(basename $dir)" >> .formal-git/components
 | |
|   fi
 | |
| done
 | |
| 
 | |
| # iterate over the extra components and adding them to .formal-git/components
 | |
| for extra in "${EXTRA_COMPONENTS[@]}"; do
 | |
|   echo "$extra" >> .formal-git/components
 | |
| done
 | |
| 
 | |
| # remove all empty lines
 | |
| sed -i '/^$/d' .formal-git/components
 | 
