From c0a9a046f62ba32fa17f7cb032a484756d0c5787 Mon Sep 17 00:00:00 2001
From: Kwankyu Lee <ekwankyu@gmail.com>
Date: Tue, 29 Oct 2024 17:05:12 +0900
Subject: [PATCH] Fix a faulty sed command

---
 .github/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/Dockerfile b/.github/Dockerfile
index 4fd2603..198281f 100644
--- a/.github/Dockerfile
+++ b/.github/Dockerfile
@@ -18,7 +18,7 @@ RUN rm -rf local/share/doc local/share/*/doc local/share/*/examples local/share/
 # Remove all __pycache__ directories
 RUN find /sage -type d -name "__pycache__" -exec rm -rf {} +
 # Remove all .c .cpp files corresponding to .pyx files
-RUN find /sage -name "*.pyx" | sed 's/\.pyx$/\.c \0.cpp/' | xargs rm -f +
+RUN find /sage -name "*.pyx" | sed 's/\(.*\)[.]pyx$/\1.c \1.cpp/' | xargs rm -f +
 
 FROM ubuntu:jammy
 # or FROM ghcr.io/sagemath/sage/sage-ubuntu-jammy-minimal-with-system-packages:latest