mirror of
				https://github.com/zen-browser/desktop.git
				synced 2025-11-03 17:24:33 +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
 |