[PR #202] [CLOSED] Add build.sh，surpport docker-ubuntu2204 docker-ubuntu2004 docker-cent… #325

New issue

Closed

opened 2026-10-26 09:48:41 +00:00 by bsakaguchi · 0 comments

bsakaguchi commented

2026-10-26 09:48:41 +00:00

Owner

📋 Pull Request Information

Original PR: https://github.com/deepseek-ai/3FS/pull/202
Author: @Hansyangxingxiang
Created: 3/21/2025
Status: ❌ Closed

Base: main ← Head: main

📄 Description

Add build.sh，surpport docker-ubuntu2204 docker-ubuntu2004 docker-centos9, default docker-ubuntu2204
HF3FS Build System

Usage: $0 [OPTION]

Options:
docker-ubuntu2204 Build using Ubuntu 22.04 Docker container (default)
docker-ubuntu2004 Build using Ubuntu 20.04 Docker container
docker-centos9 Build using CentOS 9 Docker container
-h, --help Show this help message

Environment:

Docker builds create isolated environments with version-specific toolchains
Build artifacts are stored in: build/

Examples:
./build.sh # Default Docker build with Ubuntu 22.04
./build.sh docker-ubuntu2004 # Docker build with Ubuntu 20.04

_{🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.}

## 📋 Pull Request Information **Original PR:** https://github.com/deepseek-ai/3FS/pull/202 **Author:** [@Hansyangxingxiang](https://github.com/Hansyangxingxiang) **Created:** 3/21/2025 **Status:** ❌ Closed **Base:** `main` ← **Head:** `main` --- ### 📄 Description Add build.sh，surpport docker-ubuntu2204 docker-ubuntu2004 docker-centos9, default docker-ubuntu2204 HF3FS Build System Usage: $0 [OPTION] Options: docker-ubuntu2204 Build using Ubuntu 22.04 Docker container (default) docker-ubuntu2004 Build using Ubuntu 20.04 Docker container docker-centos9 Build using CentOS 9 Docker container -h, --help Show this help message Environment: - Docker builds create isolated environments with version-specific toolchains - Build artifacts are stored in: build/ Examples: ./build.sh # Default Docker build with Ubuntu 22.04 ./build.sh docker-ubuntu2004 # Docker build with Ubuntu 20.04 --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>

bsakaguchi

2026-10-26 09:48:41 +00:00